Type Alias PolyProjectionPredicate

pub type PolyProjectionPredicate = Binder<ProjectionPredicate>;

Aliased Type

struct PolyProjectionPredicate {
    vars: Interned<[BoundVariableKind]>,
    value: ProjectionPredicate,
}

Fields

vars: Interned<[BoundVariableKind]>

value: ProjectionPredicate

Implementations

impl PolyProjectionPredicate

fn projection_def_id(&self) -> DefId

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