error[E0282]: type annotations needed for `&[_; 0]`
  --> $DIR/issue-7813.rs:2:13
   |
LL |     let v = &[];
   |         -   ^^^ cannot infer type
   |         |
   |         consider giving `v` the explicit type `&[_; 0]`, with the type parameters specified

error: aborting due to previous error

For more information about this error, try `rustc --explain E0282`.
