Module rustc_hir_typeck::fn_ctxt
source · Modules§
Structs§
- The
FnCtxtstores type-checking context needed to type-check bodies of functions, closures, andconsts, including performing type inference withInferCtxt. - The
tyrepresentation of a user-provided type. Depending on the use-site we want to either use the unnormalized or the normalized form of this type.