Modules§
- _impl 🔒
- checks 🔒
- A utility module to inspect currently ambiguous obligations in the current context.
Structs§
- FnCtxt 🔒The
FnCtxt
stores type-checking context needed to type-check bodies of functions, closures, andconst
s, including performing type inference withInferCtxt
. - 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§
- Returns the default fallback which is used when there is no explicit override via
#![never_type_options(...)]
.