src/test/ui/const-generics/infer/one-param-uninferred.stderr

   1 error[E0282]: type annotations needed
   2   --> $DIR/one-param-uninferred.rs:9:23
   3    |
   4 LL |     let _: [u8; 17] = foo();
   5    |                       ^^^ cannot infer the value of the const parameter `M` declared on the function `foo`
   6    |
   7 help: consider specifying the generic arguments
   8    |
   9 LL |     let _: [u8; 17] = foo::<17, M>();
  10    |                          +++++++++
  11
  12 error: aborting due to previous error
  13
  14 For more information about this error, try `rustc --explain E0282`.