hax_frontend_exporter::constant_utils::rustc

Function is_anon_const

source 
pub(crate) fn is_anon_const(did: DefId, tcx: TyCtxt<'_>) -> bool
Expand description

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.