src/test/ui/const-generics/types-mismatch-const-args.rs

   1 #![feature(const_generics)]
   2 //~^ WARN the feature `const_generics` is incomplete
   3
   4 // tests the diagnostic output of type mismatches for types that have const generics arguments.
   5
   6 use std::marker::PhantomData;
   7
   8 struct A<'a, T, const X: u32, const Y: u32> {
   9     data: PhantomData<&'a T>
  10 }
  11
  12 fn a<'a, 'b>() {
  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
  17 }
  18
  19 pub fn main() {}