Module engine 

Re-exports

use std::cell::RefCell; 🔒

use std::fmt::Debug; 🔒

use std::fmt::Debug; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_infer::infer::at::ToTrace; 🔒

use rustc_infer::infer::canonical::Canonical; 🔒

use rustc_infer::infer::canonical::CanonicalQueryResponse; 🔒

use rustc_infer::infer::canonical::CanonicalVarValues; 🔒

use rustc_infer::infer::canonical::QueryResponse; 🔒

use rustc_infer::infer::DefineOpaqueTypes; 🔒

use rustc_infer::infer::InferCtxt; 🔒

use rustc_infer::infer::InferOk; 🔒

use rustc_infer::infer::RegionResolutionError; 🔒

use rustc_infer::infer::TypeTrace; 🔒

use rustc_infer::traits::PredicateObligations; 🔒

use rustc_infer::traits::TraitErrors; 🔒

use rustc_middle::arena::ArenaAllocatable; 🔒

use rustc_middle::traits::query::NoSolution; 🔒

use rustc_middle::ty::error::TypeError; 🔒

use rustc_middle::ty::relate::Relate; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_middle::ty::Upcast; 🔒

use rustc_middle::ty::Variance; 🔒

use thin_vec::ThinVec; 🔒

use super::FromSolverError; 🔒

use super::FulfillmentContext; 🔒

use super::ScrubbedTraitError; 🔒

use super::TraitEngine; 🔒

use crate::error_reporting::InferCtxtErrorExt; 🔒

use crate::regions::InferCtxtRegionExt; 🔒

use crate::solve::FulfillmentCtxt as NextFulfillmentCtxt; 🔒

use crate::solve::NextSolverError; 🔒

use crate::traits::fulfill::OldSolverError; 🔒

use crate::traits::FulfillmentError; 🔒

use crate::traits::NormalizeExt; 🔒

use crate::traits::Obligation; 🔒

use crate::traits::ObligationCause; 🔒

use crate::traits::PredicateObligation; 🔒

use crate::traits::StructurallyNormalizeExt; 🔒

Structs

ObligationCtxt

Used if you want to have pleasant experience when dealing with obligations outside of hir or mir typeck.

Enums

FulfillmentEngine

A fulfillment engine, stored inline rather than boxed as a dyn TraitEngine because some of its holders (e.g. ObligationCtxt) are created very often (once per candidate probe during method resolution), so the heap allocation would be expensive.