Home
last modified time | relevance | path

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

/third_party/rust/rust/compiler/rustc_middle/src/traits/
Dmod.rs436 AscribeUserTypeProvePredicate(Span), enumerator
/third_party/rust/rust/compiler/rustc_infer/src/infer/
Dmod.rs410 AscribeUserTypeProvePredicate(Span), enumerator