Function rustc_typeck::check::check::check_fn

pub(super) fn check_fn<'a, 'tcx>(
    inherited: &'a Inherited<'a, 'tcx>, 
    param_env: ParamEnv<'tcx>, 
    fn_sig: FnSig<'tcx>, 
    decl: &'tcx FnDecl<'tcx>, 
    fn_id: HirId, 
    body: &'tcx Body<'tcx>, 
    can_be_generator: Option<Movability>, 
    return_type_pre_known: bool
) -> (FnCtxt<'a, 'tcx>, 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)