| // compile-flags: -Zsave-analysis |
| |
| // Check that this does not ICE. |
| // Stolen from tests/ui/const-generics/generic_arg_infer/infer-arg-test.rs |
| |
| #![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<_, _, _>; |
| //~^ ERROR this struct takes 2 generic arguments but 3 generic arguments were supplied |
| all_fn(); |
| let v: [u8; _]; |
| let v: [u8; 10] = [0; _]; |
| } |