src/test/ui/const-generics/issue-67945-1.rs

   1 // revisions: full min
   2
   3 #![cfg_attr(full, allow(incomplete_features))]
   4 #![cfg_attr(full, feature(const_generics))]
   5 #![cfg_attr(min, feature(min_const_generics))]
   6
   7 use std::marker::PhantomData;
   8
   9 use std::mem::{self, MaybeUninit};
  10
  11 struct Bug<S> {
  12     //~^ ERROR parameter `S` is never used
  13     A: [(); {
  14         let x: S = MaybeUninit::uninit();
  15         //[min]~^ ERROR generic parameters may not be used in const operations
  16         //[full]~^^ ERROR mismatched types
  17         let b = &*(&x as *const _ as *const S);
  18         //[min]~^ ERROR generic parameters may not be used in const operations
  19         0
  20     }],
  21 }
  22
  23 fn main() {}