Type Definition rustc_trait_selection::traits::PredicateObligation [−][src]
pub type PredicateObligation<'tcx> = Obligation<'tcx, Predicate<'tcx>>;
pub type PredicateObligation<'tcx> = Obligation<'tcx, Predicate<'tcx>>;