Type Definition rustc_middle::ty::PolyTraitPredicate

pub type PolyTraitPredicate<'tcx> = Binder<'tcx, TraitPredicate<'tcx>>;

Implementations

impl<'tcx> PolyTraitPredicate<'tcx>

pub fn def_id(self) -> DefId

pub fn self_ty(self) -> Binder<'tcx, Ty<'tcx>>

Trait Implementations

impl<'tcx> ToPolyTraitRef<'tcx> for PolyTraitPredicate<'tcx>

fn to_poly_trait_ref(&self) -> PolyTraitRef<'tcx>

impl<'tcx> ToPredicate<'tcx> for PolyTraitPredicate<'tcx>

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