Searched defs:SubtypePredicate (Results 1 – 2 of 2) sorted by relevance
958 pub struct SubtypePredicate<'tcx> { struct963 pub type PolySubtypePredicate<'tcx> = ty::Binder<'tcx, SubtypePredicate<'tcx>>; argument
2450 let SubtypePredicate { a_is_expected: _, a, b } = data; in maybe_report_ambiguity() localVariable