Type Definition rustc_middle::ty::sty::PolyTraitRef[][src]

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

Implementations

impl<'tcx> PolyTraitRef<'tcx>[src]

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

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

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