[Frontend] `maximum number of nodes exceeded in constant table` with `--experimental-full-def`

[maximebuyse]

pub const INNER: &[u32] = &[0u32; 1000];
pub const TABLE: [&[u32]; 1000] = [INNER; 1000];

The code above fails to extract using cargo hax --experimental-full-def json, with error: maximum number of nodes exceeded in constant TABLE

[maximebuyse]

According to claude:

Root cause: full-def inlines the value of every referenced const at each
reference site. So a const that references a sizeable const N times expands
to ~N×|INNER| AST nodes and blows past hax's per-constant node cap (the cap is
between 1e5 and 1e6 nodes; 1000 × 1000 ≈ 1e6 trips it, 1e5 does not). The
regular frontend keeps the references as ids and is unaffected.