Module fn_ctxt 

Re-exports

use std::cell::Cell; 🔒

use std::cell::RefCell; 🔒

use std::ops::Deref; 🔒

use rustc_data_structures::thin_vec::ThinVec; 🔒

use rustc_data_structures::thin_vec::thin_vec; 🔒

use rustc_errors::DiagCtxtHandle; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::ItemLocalMap; 🔒

use rustc_hir_analysis::hir_ty_lowering::HirTyLowerer; 🔒

use rustc_hir_analysis::hir_ty_lowering::InherentAssocCandidate; 🔒

use rustc_hir_analysis::hir_ty_lowering::RegionInferReason; 🔒

use rustc_infer::infer; 🔒

use rustc_infer::infer::RegionVariableOrigin; 🔒

use rustc_infer::traits::DynCompatibilityViolation; 🔒

use rustc_infer::traits::Obligation; 🔒

use rustc_infer::traits::TraitErrors; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::CantBeErased; 🔒

use rustc_middle::ty::Const; 🔒

use rustc_middle::ty::Flags; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::TypingMode; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_session::Session; 🔒

use rustc_span::def_id::LocalModId; 🔒

use rustc_span; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::ErrorGuaranteed; 🔒

use rustc_span::Ident; 🔒

use rustc_span::Span; 🔒

use rustc_trait_selection::error_reporting::TypeErrCtxt; 🔒

use rustc_trait_selection::traits; 🔒

use rustc_trait_selection::traits::FulfillmentError; 🔒

use rustc_trait_selection::traits::ObligationCause; 🔒

use rustc_trait_selection::traits::ObligationCauseCode; 🔒

use rustc_trait_selection::traits::ObligationCtxt; 🔒

use crate::coercion::CoerceMany; 🔒

use crate::CoroutineTypes; 🔒

use crate::Diverges; 🔒

use crate::EnclosingBreakables; 🔒

use crate::TypeckRootCtxt; 🔒

Modules

_impl 🔒

adjust_fulfillment_errors 🔒

arg_matrix 🔒

checks 🔒

inspect_obligations 🔒

A utility module to inspect currently ambiguous obligations in the current context.

suggestions 🔒

Structs

FnCtxt 🔒

The FnCtxt stores type-checking context needed to type-check bodies of functions, closures, and consts, including performing type inference with InferCtxt.

LoweredTy 🔒

The ty representation of a user-provided type. Depending on the use-site we want to either use the unnormalized or the normalized form of this type.

Enums

UseSubtyping 🔒

Whatever to use subtyping or not when inspecting obligations