summaryrefslogtreecommitdiffstats
path: root/tests/ui/typeck/issue-7813.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/typeck/issue-7813.stderr')
-rw-r--r--tests/ui/typeck/issue-7813.stderr14
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/ui/typeck/issue-7813.stderr b/tests/ui/typeck/issue-7813.stderr
new file mode 100644
index 000000000..2a747f679
--- /dev/null
+++ b/tests/ui/typeck/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`.