Type Definition rustc_middle::ty::PolyTraitPredicate

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

Implementations

impl<'tcx> PolyTraitPredicate<'tcx>

pub fn def_id(self) -> DefId

Trait Implementations

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

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