Searched defs:error_implies (Results 1 – 1 of 1) sorted by relevance
1294 fn error_implies(&self, cond: ty::Predicate<'tcx>, error: ty::Predicate<'tcx>) -> bool; in error_implies() method1496 fn error_implies(&self, cond: ty::Predicate<'tcx>, error: ty::Predicate<'tcx>) -> bool { in error_implies() method