Re-exports§
use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use crate::data_structures::HashSet;🔒use crate::visit::TypeVisitableExt;🔒use crate::Const;🔒use crate::ConstKind;🔒use crate::InferCtxtLike;🔒use crate::InferTy;🔒use crate::Interner;🔒use crate::Region;🔒use crate::RegionKind;🔒use crate::TyKind;🔒use crate::TypeFoldable;🔒use crate::TypeSuperVisitable;🔒use crate::TypeVisitable;🔒use crate::TypeVisitor;🔒use crate::UniverseIndex;🔒use crate::inherent::*;🔒
Structs§
Functions§
- max_
universe - The largest universe a variable or placeholder was from in
t - max_
universe_ 🔒inner - max_
universe_ of_ infer_ vars - The largest universe a variable was from in
t - max_
universe_ of_ placeholders - The largest universe a placeholder was from in
t