Module rustc_hir_typeck::fn_ctxt
source ยท Modulesยง
- _impl ๐
- 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 ๐Thety
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