Modules

error 🔒
fn_queries 🔒
machine 🔒
valtrees 🔒

Structs

Extra machine state for CTFE, and the Machine instance

When const-evaluation errors, this type is constructed with the resulting information, and then used to emit the error as a lint or hard error.

Enums

The CTFE machine has some custom error kinds.

Constants

Functions

Evaluates a constant and turns it into a type-level constant value.

Whether the def_id is an unstable const fn and what feature gate is necessary to enable it

Tries to destructure constants of type Array or Adt into the constants of its fields.

Type Definitions