blob: 4d225dfdd873035295af3c25baab932c43755568 (
plain)
1
2
3
4
5
6
7
8
9
10
11
  | 
// Check that different const types are different.
#![feature(adt_const_params)]
#![allow(incomplete_features)]
struct Const<const V: [usize; 1]> {}
fn main() {
    let mut x = Const::<{ [3] }> {};
    x = Const::<{ [4] }> {};
    //~^ ERROR mismatched types
}
 
  |