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