src/test/ui/const-generics/generic_arg_infer/dont-use-defaults.rs

   1 // run-pass
   2 #![feature(generic_arg_infer)]
   3
   4 // test that we dont use defaults to aide in type inference
   5
   6 struct Foo<const N: usize = 2>;
   7 impl<const N: usize> Foo<N> {
   8     fn make_arr() -> [(); N] {
   9         [(); N]
  10     }
  11 }
  12
  13 fn main() {
  14     let [(), (), ()] = Foo::<_>::make_arr();
  15 }