Module ascribe_user_type

Source

Structs§

AscribeUserType

Functions§

relate_mir_and_user_args 🔒
relate_mir_and_user_ty 🔒
type_op_ascribe_user_type_with_span
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.