Function rustc_hir_typeck::check::check_fn

pub(crate) fn check_fn<'a, 'tcx>(
    fcx: &mut FnCtxt<'a, 'tcx>,
    fn_sig: FnSig<'tcx>,
    decl: &'tcx FnDecl<'tcx>,
    fn_def_id: LocalDefId,
    body: &'tcx Body<'tcx>,
    can_be_generator: Option<Movability>
) -> Option<GeneratorTypes<'tcx>>

Helper used for fns and closures. Does the grungy work of checking a function body and returns the function context used for that purpose, since in the case of a fn item there is still a bit more to do.

• …
• inherited: other fields inherited from the enclosing fn (if any)