1 files changed, 14 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-7813.stderr b/src/test/ui/issues/issue-7813.stderr
new file mode 100644
index 000000000..2a747f679
--- /dev/null
+++ b/src/test/ui/issues/issue-7813.stderr
@@ -0,0 +1,14 @@
+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 previous error
+
+For more information about this error, try `rustc --explain E0282`.