Type Alias PolyTraitRef

pub type PolyTraitRef = Binder<TraitRef>;

Aliased Type

pub struct PolyTraitRef {
    vars: Interned<[BoundVariableKind]>,
    value: TraitRef,
}

Fields

vars: Interned<[BoundVariableKind]>

value: TraitRef

Implementations

impl PolyTraitRef

pub fn def_id(&self) -> DefId