Module fn_ctxt

Modules

• _impl 🔒
• adjust_fulfillment_errors 🔒
• arg_matrix 🔒
• checks 🔒
• inspect_obligations 🔒
  A utility module to inspect currently ambiguous obligations in the current context.
• suggestions 🔒

Structs

• FnCtxt 🔒
  The FnCtxt stores type-checking context needed to type-check bodies of functions, closures, and consts, including performing type inference with InferCtxt.
• LoweredTy 🔒
  The ty representation of a user-provided type. Depending on the use-site we want to either use the unnormalized or the normalized form of this type.

Functions

• default_fallback 🔒
  Returns the default fallback which is used when there is no explicit override via #![never_type_options(...)].
• never_type_behavior 🔒
• parse_never_type_options_attr 🔒