diff options
Diffstat (limited to 'tests/ui/const-generics/different_generic_args_array.rs')
-rw-r--r-- | tests/ui/const-generics/different_generic_args_array.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/ui/const-generics/different_generic_args_array.rs b/tests/ui/const-generics/different_generic_args_array.rs new file mode 100644 index 000000000..4d225dfdd --- /dev/null +++ b/tests/ui/const-generics/different_generic_args_array.rs @@ -0,0 +1,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 +} |