Expand description
Implementation of rustc_type_ir::Interner for TyCtxt.
Re-exports§
use std::debug_assert_matches;🔒use std::fmt;🔒use rustc_attr_ir::lang_items::LangItem;🔒use rustc_data_structures::intern::Interned;🔒use rustc_errors::ErrorGuaranteed;🔒use rustc_hir as hir;🔒use rustc_hir::def::CtorKind;🔒use rustc_hir::def::DefKind;🔒use rustc_hir::def_id::DefId;🔒use rustc_hir::def_id::LocalDefId;🔒use rustc_span::DUMMY_SP;🔒use rustc_span::Span;🔒use rustc_span::Symbol;🔒use rustc_span::bug;🔒use rustc_type_ir::lang_items::SolverAdtLangItem;🔒use rustc_type_ir::lang_items::SolverProjectionLangItem;🔒use rustc_type_ir::lang_items::SolverTraitLangItem;🔒use rustc_type_ir::solve::CanonicalInputData;🔒use rustc_type_ir::BoundVar;🔒use rustc_type_ir::CollectAndApply;🔒use rustc_type_ir::DebruijnIndex;🔒use rustc_type_ir::IncludeSizedImplicitBounds;🔒use rustc_type_ir::Interner;🔒use rustc_type_ir::RegionVid;🔒use rustc_type_ir::TypeFoldable;🔒use rustc_type_ir::Unnormalized;🔒use rustc_type_ir::VisitorResult;🔒use rustc_type_ir::WithCachedTypeInfo;🔒use rustc_type_ir::search_graph;🔒use rustc_type_ir::try_visit;🔒use crate::dep_graph::DepKind;🔒use crate::dep_graph::DepNodeIndex;🔒use crate::infer::canonical::CanonicalVarKinds;🔒use crate::mir::interpret::Scalar;🔒use crate::traits::cache::WithDepNode;🔒use crate::traits::solve;🔒use crate::traits::solve::CanonicalInput;🔒use crate::traits::solve::ExternalConstraints;🔒use crate::traits::solve::ExternalConstraintsData;🔒use crate::traits::solve::QueryResult;🔒use crate::traits::solve::inspect;🔒use crate::ty;🔒use crate::ty::BoundRegion;🔒use crate::ty::Clause;🔒use crate::ty::Const;🔒use crate::ty::List;🔒use crate::ty::ParamTy;🔒use crate::ty::Pattern;🔒use crate::ty::PolyExistentialPredicate;🔒use crate::ty::Predicate;🔒use crate::ty::Region;🔒use crate::ty::RegionKind;🔒use crate::ty::RequiredDepth;🔒use crate::ty::Ty;🔒use crate::ty::TyCtxt;🔒
Macros§
- bidirectional_
lang_ 🔒item_ map - Defines trivial conversion functions between the main
LangItemenum, and some other lang-item enum that is a subset of it.