different_generic_args_array.rs

// 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
}

// ferrocene-annotations: fls_exe4zodlwfez
// Type Unification