```rust pub const INNER: &[u32] = &[0u32; 1000]; pub const TABLE: [&[u32]; 1000] = [INNER; 1000]; ``` [Open this code snippet in the playground](https://hax-playground.cryspen.com/#json/latest-main/gist=59ae3a72dfe42b13a21609bb1feb1602) This fails full-def JSON extraction with: ``` error[E9999]: maximum number of nodes exceeded in constant ... ```
Open this code snippet in the playground
This fails full-def JSON extraction with: