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