1 error[E0308]: mismatched types
2 --> $DIR/different_generic_args_array.rs:9:9
4 LL | x = Const::<{ [4] }> {};
5 | ^^^^^^^^^^^^^^^^^^^ expected `[3]`, found `[4]`
7 = note: expected struct `Const<[3]>`
8 found struct `Const<[4]>`
10 error: aborting due to previous error
12 For more information about this error, try `rustc --explain E0308`.