Skip to content

Commit

Permalink
Rollup merge of #88357 - lcnr:stabilize-relaxed_struct_unsize, r=Mark…
Browse files Browse the repository at this point in the history
…-Simulacrum

add unsized coercion test

we had no tests in our test suite for this case
  • Loading branch information
Dylan-DPC authored Aug 27, 2021
2 parents 191ca73 + bee13d1 commit b2aeb1f
Show file tree
Hide file tree
Showing 2 changed files with 24 additions and 0 deletions.
10 changes: 10 additions & 0 deletions src/test/ui/unsized/param-mentioned-by-different-field.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
// We must not allow this with our current setup as `T`
// is mentioned both in the tail of `Foo` and by another
// field.
struct Foo<T: ?Sized>(Box<T>, T);

fn main() {
let x: Foo<[u8; 1]> = Foo(Box::new([2]), [3]);
let y: &Foo<[u8]> = &x; //~ ERROR mismatched types
assert_eq!(y.0.len(), 1);
}
14 changes: 14 additions & 0 deletions src/test/ui/unsized/param-mentioned-by-different-field.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
error[E0308]: mismatched types
--> $DIR/param-mentioned-by-different-field.rs:8:25
|
LL | let y: &Foo<[u8]> = &x;
| ---------- ^^ expected slice `[u8]`, found array `[u8; 1]`
| |
| expected due to this
|
= note: expected reference `&Foo<[u8]>`
found reference `&Foo<[u8; 1]>`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.

0 comments on commit b2aeb1f

Please sign in to comment.