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, andconst
s, including performing type inference withInferCtxt
. - Lowered
Ty ๐ - 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