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

This function should never fail for validated constants. However, it is also invoked from the pretty printer which might attempt to format invalid constants and in that case it might fail.

Type Definitions