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)