rustc::middle::traits::TraitObligationExperimental [-]  [+] [src]

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