Module closure 

Code for type-checking closure expressions.

Re-exports

use std::iter; 🔒

use std::ops::ControlFlow; 🔒

use rustc_abi::ExternAbi; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_hir as hir; 🔒

use rustc_hir_analysis::hir_ty_lowering::HirTyLowerer; 🔒

use rustc_infer::infer::BoundRegionConversionTime; 🔒

use rustc_infer::infer::DefineOpaqueTypes; 🔒

use rustc_infer::infer::InferOk; 🔒

use rustc_infer::infer::InferResult; 🔒

use rustc_infer::traits::ObligationCauseCode; 🔒

use rustc_infer::traits::PredicateObligations; 🔒

use rustc_macros::TypeFoldable; 🔒

use rustc_macros::TypeVisitable; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::ClosureKind; 🔒

use rustc_middle::ty::FnSigKind; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeSuperVisitable; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_span::def_id::LocalDefId; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::Span; 🔒

use rustc_span::span_bug; 🔒

use rustc_trait_selection::error_reporting::traits::ArgKind; 🔒

use rustc_trait_selection::traits; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::trace; 🔒

use super::CoroutineTypes; 🔒

use super::Expectation; 🔒

use super::FnCtxt; 🔒

use super::check_fn; 🔒

use crate::fn_ctxt::UseSubtyping; 🔒

Structs

ClosureSignatures 🔒

ExpectedSig 🔒

What signature do we expect the closure to have from context?