Type Definition rustc_middle::ty::PolyTraitRef

type PolyTraitRef<'tcx> = Binder<'tcx, TraitRef<'tcx>>;

Implementations

impl<'tcx> PolyTraitRef<'tcx>

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

pub fn def_id(&self) -> DefId

pub fn to_poly_trait_predicate(&self) -> PolyTraitPredicate<'tcx>