From a3470b13ab8cfba6b698aa0ae0e9591a76d40ba7 Mon Sep 17 00:00:00 2001
From: Santiago Pastorino <spastorino@gmail.com>
Date: Tue, 20 Oct 2020 13:08:40 -0300
Subject: [PATCH] Test that unsized locals fail when turning unsized_fn_params
 feature flag on

---
 .../unsized-locals-using-unsized-fn-params.rs       |  7 +++++++
 .../unsized-locals-using-unsized-fn-params.stderr   | 13 +++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.rs
 create mode 100644 src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.stderr

diff --git a/src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.rs b/src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.rs
new file mode 100644
index 00000000000..8ee5d3ee7cb
--- /dev/null
+++ b/src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.rs
@@ -0,0 +1,7 @@
+#![feature(unsized_fn_params)]
+
+fn main() {
+    let foo: Box<[u8]> = Box::new(*b"foo");
+    let _foo: [u8] = *foo;
+    //~^ ERROR: the size for values of type `[u8]` cannot be known at compilation time [E0277]
+}
diff --git a/src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.stderr b/src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.stderr
new file mode 100644
index 00000000000..c9ecf891217
--- /dev/null
+++ b/src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.stderr
@@ -0,0 +1,13 @@
+error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
+  --> $DIR/unsized-locals-using-unsized-fn-params.rs:5:9
+   |
+LL |     let _foo: [u8] = *foo;
+   |         ^^^^ doesn't have a size known at compile-time
+   |
+   = help: the trait `Sized` is not implemented for `[u8]`
+   = note: all local variables must have a statically known size
+   = help: unsized locals are gated as an unstable feature
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0277`.