Module hax_frontend_exporter::constant_utils::rustc

Enums

• TranslateUnevalRes

Traits

• ConstantExt

Functions

• const_value_reference_to_constant_expr 🔒
• const_value_to_constant_expr
• is_anon_const 🔒
  Whether a DefId is a AnonConst. An anonymous constant is generated by Rustc, hoisting every constat bits from items as separate top-level items. This AnonConst mechanism is internal to Rustc; we don’t want to reflect that, instead we prefer inlining those. is_anon_const is used to detect such AnonConst so that we can evaluate and inline them.
• scalar_int_to_constant_literal 🔒
• scalar_to_constant_expr 🔒
• trait_const_to_constant_expr_kind 🔒
• valtree_to_constant_expr 🔒