src/test/ui/inference/infer-arg-test.rs

   1 #![feature(generic_arg_infer)]
   2
   3 struct All<'a, T, const N: usize> {
   4   v: &'a T,
   5 }
   6
   7 struct BadInfer<_>;
   8 //~^ ERROR expected identifier
   9 //~| ERROR parameter `_` is never used
  10
  11 fn all_fn<'a, T, const N: usize>() {}
  12
  13 fn bad_infer_fn<_>() {}
  14 //~^ ERROR expected identifier
  15
  16
  17 fn main() {
  18   let a: All<_, _, _>;
  19   all_fn();
  20   let v: [u8; _];
  21   //~^ ERROR in expressions
  22   let v: [u8; 10] = [0; _];
  23   //~^ ERROR in expressions
  24 }