rustc_typeck::middle::traits::TraitObligationUnstable [-] [+] [src]

type TraitObligation<'tcx> = Obligation<'tcx, Binder<TraitPredicate<'tcx>>>;