2 #![cfg_attr(full, feature(generic_const_exprs))]
3 #![cfg_attr(full, allow(incomplete_features))]
5 // tests the diagnostic output of type mismatches for types that have const generics arguments.
7 use std::marker::PhantomData;
9 struct A<'a, T, const X: u32, const Y: u32> {
10 data: PhantomData<&'a T>
14 let _: A<'a, u32, {2u32}, {3u32}> = A::<'a, u32, {2u32 + 2u32}, {3u32}> { data: PhantomData };
15 //~^ ERROR mismatched types
16 let _: A<'a, u16, {2u32}, {3u32}> = A::<'b, u32, {2u32}, {3u32}> { data: PhantomData };
17 //~^ ERROR mismatched types
18 let _: A<'a, u16, {4u32}, {3u32}> = A::<'b, u32, {2u32}, {3u32}> { data: PhantomData };
19 //~^ ERROR mismatched types