Skip to main content

Module inherent

Module inherent 

Source
Expand description

Set of traits which are used to emulate the inherent impls that are present in rustc_middle. It is customary to glob-import rustc_type_ir::inherent::* to bring all of these traits into scope when programming in interner-agnostic settings, and to avoid importing any of these directly elsewhere (i.e. specify the full path for an implementation downstream).

Re-exportsยง

use std::fmt::Debug; ๐Ÿ”’
use std::fmt::Debug; ๐Ÿ”’
use std::hash::Hash; ๐Ÿ”’
use std::hash::Hash; ๐Ÿ”’
use rustc_abi::Size; ๐Ÿ”’
use rustc_ast_ir::Mutability; ๐Ÿ”’
use crate::elaborate::Elaboratable; ๐Ÿ”’
use crate::fold::TypeFoldable; ๐Ÿ”’
use crate::fold::TypeSuperFoldable; ๐Ÿ”’
use crate::relate::Relate; ๐Ÿ”’
use crate::solve::AdtDestructorKind; ๐Ÿ”’
use crate::solve::SizedTraitKind; ๐Ÿ”’
use crate::visit::Flags; ๐Ÿ”’
use crate::visit::TypeSuperVisitable; ๐Ÿ”’
use crate::visit::TypeVisitable; ๐Ÿ”’
use crate as ty; ๐Ÿ”’
use crate::CallerBoundsAccessor; ๐Ÿ”’
use crate::ClauseKind; ๐Ÿ”’
use crate::CollectAndApply; ๐Ÿ”’
use crate::Const; ๐Ÿ”’
use crate::FieldInfo; ๐Ÿ”’
use crate::Interner; ๐Ÿ”’
use crate::NoClauses; ๐Ÿ”’
use crate::PredicateKind; ๐Ÿ”’
use crate::Region; ๐Ÿ”’
use crate::UpcastFrom; ๐Ÿ”’

Traitsยง

AdtDef
BoundExistentialPredicates
BoundVarKinds
Clause
Clauses
DefId
DefIdGetter
ExprConst
Features
GenericArg
GenericArgs
GenericsOf
IntoKind
OpaqueTypeStorageEntries
ParamEnv
ParamLike
Predicate
RegionName
Safety
ScalarInt
SliceLike
Span
SpecificDefId
Symbol
Term
Ty
TypingEnv
Tys
ValueConst