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

type PredicateObligation<'tcx> = Obligation<'tcx, Predicate<'tcx>>;