Home
last modified time | relevance | path

Searched defs:subtype_predicate (Results 1 – 1 of 1) sorted by relevance

/third_party/rust/rust/compiler/rustc_infer/src/infer/
Dmod.rs912 let subtype_predicate = predicate.map_bound(|p| ty::SubtypePredicate { in coerce_predicate() localVariable
920 pub fn subtype_predicate( in subtype_predicate() method