Type Alias PolyExistentialTraitRef 

pub type PolyExistentialTraitRef = Binder<ExistentialTraitRef>;

Aliased Type

pub struct PolyExistentialTraitRef {
    vars: Interned<[BoundVariableKind]>,
    value: ExistentialTraitRef,
}

Fields

vars: Interned<[BoundVariableKind]>

value: ExistentialTraitRef

Implementations

impl PolyExistentialTraitRef

pub fn def_id(&self) -> DefId