Type Definition rustc_middle::ty::PolyTraitPredicate[−][src]

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

Implementations

`impl<'tcx> PolyTraitPredicate<'tcx>`[src]

`pub fn def_id(self) -> DefId`[src]

`pub fn self_ty(self) -> Binder<Ty<'tcx>>`[src]

Trait Implementations

`impl<'tcx> ToPolyTraitRef<'tcx> for PolyTraitPredicate<'tcx>`[src]

`fn to_poly_trait_ref(&self) -> PolyTraitRef<'tcx>`[src]