1 error[E0282]: type annotations needed for `&[_; 0]`
2 --> $DIR/issue-7813.rs:2:13
5 | - ^^^ cannot infer type
7 | consider giving `v` the explicit type `&[_; 0]`, with the type parameters specified
9 error: aborting due to previous error
11 For more information about this error, try `rustc --explain E0282`.