Module rustc_traits::type_op
source · Structs
Functions
provide 🔒
The core of the
type_op_ascribe_user_type
query: for diagnostics purposes in NLL HRTB errors,
this query can be re-run to better track the span of the obligation cause, and improve the error
message. Do not call directly unless you’re in that very specific context.The core of the
type_op_prove_predicate
query: for diagnostics purposes in NLL HRTB errors,
this query can be re-run to better track the span of the obligation cause, and improve the error
message. Do not call directly unless you’re in that very specific context.