# Function rustc_hir_typeck::check::check_fn

source ·

    pub(crate) fn check_fn<'a, 'tcx>(
        fcx: &mut FnCtxt<'a, 'tcx>,
        fn_sig: FnSig<'tcx>,
        coroutine_types: Option<CoroutineTypes<'tcx>>,
        decl: &'tcx FnDecl<'tcx>,
        fn_def_id: LocalDefId,
        body: &'tcx Body<'tcx>,
        params_can_be_unsized: bool
    ) -> Option<CoroutineTypes<'tcx>>

Expand description

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)