src/test/ui/issues/issue-7813.stderr

   1 error[E0282]: type annotations needed for `&[_; 0]`
   2   --> $DIR/issue-7813.rs:2:9
   3    |
   4 LL |     let v = &[];
   5    |         ^
   6    |
   7 help: consider giving `v` an explicit type, where the placeholders `_` are specified
   8    |
   9 LL |     let v: &[_; 0] = &[];
  10    |          +++++++++
  11
  12 error: aborting due to previous error
  13
  14 For more information about this error, try `rustc --explain E0282`.