Function hax_frontend_exporter::constant_utils::rustc::is_anon_const

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

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.