Module fn_ctxt

Source

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 ๐Ÿ”’