Type Definition rustc_infer::traits::TraitObligation

type TraitObligation<'tcx> = Obligation<'tcx, PolyTraitPredicate<'tcx>>;

Implementations

impl<'tcx> TraitObligation<'tcx>

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