Module check 

Re-exports

use std::cell::RefCell; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir_analysis::check::check_function_signature; 🔒

use rustc_infer::infer::RegionVariableOrigin; 🔒

use rustc_infer::traits::WellFormedLoc; 🔒

use rustc_lint_defs::builtin::UNSAFE_PANIC_HANDLERS; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Binder; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::def_id::LocalDefId; 🔒

use rustc_span::sym; 🔒

use rustc_trait_selection::traits::ObligationCause; 🔒

use rustc_trait_selection::traits::ObligationCauseCode; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::coercion::CoerceMany; 🔒

use crate::diagnostics::UnsafePanicHandlers; 🔒

use crate::gather_locals::GatherLocalsVisitor; 🔒

use crate::CoroutineTypes; 🔒

use crate::Diverges; 🔒

use crate::FnCtxt; 🔒

Functions

check_fn 🔒

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.

check_lang_start_fn 🔒

check_panic_info_fn 🔒