Module const_kind 

Structs

ConstVid

A const variable ID.

UnevaluatedConst

An unevaluated (potentially generic) constant used in the type-system.

Enums

AnonConstKind

ConstKind

Represents a constant in Rust.

InferConst

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

UnevaluatedConstKind

UnevaluatedConstKind 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 UnevaluatedConstKind.

ValTreeKind

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