summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/different_generic_args_array.rs
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
}