diff options
| -rw-r--r-- | src/test/ui/unsized-locals/unsized-local-pat.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.rs | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/test/ui/unsized-locals/unsized-local-pat.rs b/src/test/ui/unsized-locals/unsized-local-pat.rs index 0b9b4ea5959..5793d3fb499 100644 --- a/src/test/ui/unsized-locals/unsized-local-pat.rs +++ b/src/test/ui/unsized-locals/unsized-local-pat.rs @@ -1,6 +1,8 @@ #![feature(box_patterns)] #![feature(unsized_fn_params)] +// Ensure that even with unsized_fn_params, unsized types in parameter patterns are not accepted. + #[allow(dead_code)] fn f1(box box _b: Box<Box<[u8]>>) {} //~^ 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.rs b/src/test/ui/unsized-locals/unsized-locals-using-unsized-fn-params.rs index 8ee5d3ee7cb..6d39c8c8172 100644 --- 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 @@ -1,5 +1,7 @@ #![feature(unsized_fn_params)] +// Ensure that even with unsized_fn_params, unsized locals are not accepted. + fn main() { let foo: Box<[u8]> = Box::new(*b"foo"); let _foo: [u8] = *foo; |