Module context 

Definition of InferCtxtLike from the librarified type layer.

Re-exports

use std::range::RangeInclusive; 🔒

use rustc_data_structures::sso::SsoHashMap; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_middle::traits::ObligationCause; 🔒

use rustc_middle::ty::relate::RelateResult; 🔒

use rustc_middle::ty::relate::combine::PredicateEmittingRelation; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::ErrorGuaranteed; 🔒

use rustc_span::Span; 🔒

use rustc_type_ir::solve::TyOrConstInferVar; 🔒

use rustc_type_ir::TypeSuperFoldable; 🔒

use rustc_type_ir::TypeVisitableExt; 🔒

use super::type_variable::TypeVariableValue; 🔒

use super::BoundRegionConversionTime; 🔒

use super::ConstVariableValue; 🔒

use super::InferCtxt; 🔒

use super::OpaqueTypeStorageEntries; 🔒

use super::RegionVariableOrigin; 🔒

use super::SubregionOrigin; 🔒

Structs

LowerUniverseFolder 🔒

Canonicalizing inputs puts all inference variables and placeholders into the root universe.

Functions

lower_universe 🔒