Searched defs:PredicateObligation (Results 1 – 2 of 2) sorted by relevance
64 pub type PredicateObligation<'tcx> = Obligation<'tcx, ty::Predicate<'tcx>>; typedef68 impl<'tcx> PredicateObligation<'tcx> { implementation
97 impl<'tcx> Elaboratable<'tcx> for PredicateObligation<'tcx> { implementation