summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/generic_arg_infer/infer-arg-test.rs
blob: 29aa0f59d74380eab6a225c26e5786d7bb37c3c1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#![feature(generic_arg_infer)]

struct All<'a, T, const N: usize> {
  v: &'a T,
}

struct BadInfer<_>;
//~^ ERROR expected identifier
//~| ERROR parameter `_` is never used

fn all_fn<'a, T, const N: usize>() {}

fn bad_infer_fn<_>() {}
//~^ ERROR expected identifier


fn main() {
  let a: All<_, _, _>;
  all_fn();
  let v: [u8; _];
  let v: [u8; 10] = [0; _];
}