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 🔒