Type Definition rustc_infer::traits::PredicateObligation

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