Type Definition rustc_middle::ty::PolyProjectionPredicate

type PolyProjectionPredicate<'tcx> = Binder<ProjectionPredicate<'tcx>>;

Implementations

impl<'tcx> PolyProjectionPredicate<'tcx>

pub fn item_def_id(&self) -> DefId

Returns the DefId of the associated item being projected.

pub fn to_poly_trait_ref(&self, tcx: TyCtxt<'tcx>) -> PolyTraitRef<'tcx>

pub fn ty(&self) -> Binder<Ty<'tcx>>

pub fn projection_def_id(&self) -> DefId

The DefId of the TraitItem for the associated type.

Note that this is not the DefId of the TraitRef containing this associated type, which is in tcx.associated_item(projection_def_id()).container.

Trait Implementations

impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx>

pub fn to_predicate(self, tcx: TyCtxt<'tcx>) -> Predicate<'tcx>