1 #![feature(const_generics)]
2 //~^ WARN the feature `const_generics` is incomplete
4 // tests the diagnostic output of type mismatches for types that have const generics arguments.
6 use std::marker::PhantomData;
8 struct A<'a, T, const X: u32, const Y: u32> {
9 data: PhantomData<&'a T>
13 let _: A<'a, u32, {2u32}, {3u32}> = A::<'a, u32, {4u32}, {3u32}> { data: PhantomData };
14 //~^ ERROR mismatched types
15 let _: A<'a, u16, {2u32}, {3u32}> = A::<'b, u32, {2u32}, {3u32}> { data: PhantomData };
16 //~^ ERROR mismatched types