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