Array repeat expression evaluate only once

[scrabsha]

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>

[Veykril]

Oh yes that is very much incorrect, thanks for catching that!

The operand is evaluated once and then copied n-1 times. Notably, the operands type only needs to satisfy Copy for an n greater than 1.

[scrabsha]

Thanks for your reply. This perfectly matches the model I had in mind!

I'd like to fix this. Can this issue be assigned to me?