Module const_eval

Modules

• dummy_machine 🔒
• error 🔒
• eval_queries 🔒
• fn_queries 🔒
• machine 🔒
• valtrees 🔒

Macros

• throw_machine_stop_str
  Macro for machine-specific InterpError without allocation. (These will never be shown to the user, but they help diagnose ICEs.)

Structs

• CompileTimeMachine
  Extra machine state for CTFE, and the Machine instance.
• DummyMachine

Enums

• CheckAlignment
• ConstEvalErrKind
  The CTFE machine has some custom error kinds.
• MemoryKind
• ValTreeCreationError 🔒

Constants

• VALTREE_MAX_NODES 🔒

Traits

• InterpretationResult

Functions

• eval_static_initializer_provider
• eval_to_allocation_raw_provider
• eval_to_const_value_raw_provider
• get_span_and_frames
• mk_eval_cx_for_const_val
  Create an interpreter context to inspect the given ConstValue. Returns both the context and an OpTy that represents the constant.
• provide
• tag_for_variant_provider
  Computes the tag (if any) for a given type and variant.
• try_destructure_mir_constant_for_user_output 🔒

Type Aliases

• CompileTimeInterpCx
• ValTreeCreationResult 🔒