Module const_kind 

Re-exports

use std::fmt; 🔒

use derive_where::derive_where; 🔒

use rustc_data_structures::stable_hash::StableHash; 🔒

use rustc_data_structures::stable_hash::StableHashCtxt; 🔒

use rustc_data_structures::stable_hash::StableHasher; 🔒

use rustc_macros::Decodable_NoContext; 🔒

use rustc_macros::Encodable_NoContext; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::StableHash_NoContext; 🔒

use rustc_type_ir_macros::GenericTypeVisitable; 🔒

use rustc_type_ir_macros::Lift_Generic; 🔒

use rustc_type_ir_macros::TypeFoldable_Generic; 🔒

use rustc_type_ir_macros::TypeVisitable_Generic; 🔒

use crate as ty; 🔒

use crate::AliasConst; 🔒

use crate::BoundVarIndexKind; 🔒

use crate::Interner; 🔒

Structs

ConstVid

A const variable ID.

Enums

AliasConstKind

AliasConstKind is extremely similar to AliasTyKind, and likely should be reasoned about and handled in very similar ways. The documentation for AliasTyKind/etc. may be helpful when learning about AliasConstKind.

AnonConstKind

ConstKind

Represents a constant in Rust.

InferConst

An inference variable for a const, for use in const generics.

ValTreeKind

This datastructure is used to represent the value of constants used in the type system.