Searched defs:ProvePredicate (Results 1 – 2 of 2) sorted by relevance
49 pub struct ProvePredicate<'tcx> { struct50 pub predicate: Predicate<'tcx>,53 impl<'tcx> ProvePredicate<'tcx> { implementation
10 impl<'tcx> super::QueryTypeOp<'tcx> for ProvePredicate<'tcx> { implementation