Re-exportsยง
use core::panic;๐use core::panic;๐use rustc_type_ir::data_structures::IndexMap;๐use rustc_type_ir as ty;๐use rustc_type_ir::Const;๐use rustc_type_ir::InferCtxtLike;๐use rustc_type_ir::Interner;๐use rustc_type_ir::PlaceholderConst;๐use rustc_type_ir::PlaceholderRegion;๐use rustc_type_ir::PlaceholderType;๐use rustc_type_ir::PredicateProxy;๐use rustc_type_ir::Region;๐use rustc_type_ir::TypeFoldable;๐use rustc_type_ir::TypeFolder;๐use rustc_type_ir::TypeSuperFoldable;๐use rustc_type_ir::TypeVisitableExt;๐use tracing::debug;๐use rustc_type_ir::inherent::*;๐
Structsยง
- Bound
VarReplacer - Placeholder
Replacer - The inverse of
BoundVarReplacer: replaces placeholders with the bound vars from which they came.