Type Alias PolyTraitPredicate

pub type PolyTraitPredicate = Binder<TraitPredicate>;

Aliased Type

struct PolyTraitPredicate {
    vars: Interned<[BoundVariableKind]>,
    value: TraitPredicate,
}

Fields

vars: Interned<[BoundVariableKind]>

value: TraitPredicate

Implementations

impl PolyTraitPredicate

fn def_id(&self) -> DefId

fn self_ty(&self) -> Binder<SubsetTyCtor>