Module resolve 

Re-exports

use rustc_middle::ty; 🔒

use rustc_middle::ty::Const; 🔒

use rustc_middle::ty::DelayedMap; 🔒

use rustc_middle::ty::FallibleTypeFolder; 🔒

use rustc_middle::ty::InferConst; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::TypeFolder; 🔒

use rustc_middle::ty::TypeSuperFoldable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_span::bug; 🔒

use rustc_type_ir::PredicateProxy; 🔒

use super::FixupError; 🔒

use super::FixupResult; 🔒

use super::InferCtxt; 🔒

use crate::infer::TyOrConstInferVar; 🔒

Structs

DeepResolverIgnoringRegions

The type and const resolver can be used at any time. It simply replaces type/const variables that have been unified with the things they have been unified with (similar to shallow_resolve, but deep). This is useful for printing messages etc but also required at various points for correctness.

FullTypeResolver 🔒

Functions

deeply_resolve_via_region_graph

Full type resolution replaces all type and region variables with their concrete results. If any variable cannot be replaced (never unified, etc) then an Err result is returned.