Array repeat expression evaluate only once

Let's consider the following code snippet:

fn id() -> i32 {
    dbg!();
    42
}

fn main() {
    [id(); 9];
}

Playground link

The value of the repeat expression is not a constant, so (according to 6.8:18) the repeat expression should be evaluated 9 times, leading to nine debug traces being printed on the program output.

However, rustc prints only one debug trace:

   Compiling playground v0.0.1 (/playground)
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.94s
     Running `target/debug/playground`
[src/main.rs:2:5]
<END OF OUTPUT>