1 files changed, 78 insertions, 0 deletions
diff --git a/tests/ui/union/union-sized-field.stderr b/tests/ui/union/union-sized-field.stderr
new file mode 100644
index 000000000..771e8f261
--- /dev/null
+++ b/tests/ui/union/union-sized-field.stderr
@@ -0,0 +1,78 @@
+error[E0277]: the size for values of type `T` cannot be known at compilation time
+  --> $DIR/union-sized-field.rs:4:12
+   |
+LL | union Foo<T: ?Sized> {
+   |           - this type parameter needs to be `std::marker::Sized`
+LL |     value: ManuallyDrop<T>,
+   |            ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = note: required because it appears within the type `ManuallyDrop<T>`
+   = note: no field of a union may have a dynamically sized type
+   = help: change the field's type to have a statically known size
+help: consider removing the `?Sized` bound to make the type parameter `Sized`
+   |
+LL - union Foo<T: ?Sized> {
+LL + union Foo<T> {
+   |
+help: borrowed types always have a statically known size
+   |
+LL |     value: &ManuallyDrop<T>,
+   |            +
+help: the `Box` type always has a statically known size and allocates its contents in the heap
+   |
+LL |     value: Box<ManuallyDrop<T>>,
+   |            ++++               +
+
+error[E0277]: the size for values of type `T` cannot be known at compilation time
+  --> $DIR/union-sized-field.rs:9:12
+   |
+LL | struct Foo2<T: ?Sized> {
+   |             - this type parameter needs to be `std::marker::Sized`
+LL |     value: ManuallyDrop<T>,
+   |            ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = note: required because it appears within the type `ManuallyDrop<T>`
+   = note: only the last field of a struct may have a dynamically sized type
+   = help: change the field's type to have a statically known size
+help: consider removing the `?Sized` bound to make the type parameter `Sized`
+   |
+LL - struct Foo2<T: ?Sized> {
+LL + struct Foo2<T> {
+   |
+help: borrowed types always have a statically known size
+   |
+LL |     value: &ManuallyDrop<T>,
+   |            +
+help: the `Box` type always has a statically known size and allocates its contents in the heap
+   |
+LL |     value: Box<ManuallyDrop<T>>,
+   |            ++++               +
+
+error[E0277]: the size for values of type `T` cannot be known at compilation time
+  --> $DIR/union-sized-field.rs:15:11
+   |
+LL | enum Foo3<T: ?Sized> {
+   |           - this type parameter needs to be `std::marker::Sized`
+LL |     Value(ManuallyDrop<T>),
+   |           ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = note: required because it appears within the type `ManuallyDrop<T>`
+   = note: no field of an enum variant may have a dynamically sized type
+   = help: change the field's type to have a statically known size
+help: consider removing the `?Sized` bound to make the type parameter `Sized`
+   |
+LL - enum Foo3<T: ?Sized> {
+LL + enum Foo3<T> {
+   |
+help: borrowed types always have a statically known size
+   |
+LL |     Value(&ManuallyDrop<T>),
+   |           +
+help: the `Box` type always has a statically known size and allocates its contents in the heap
+   |
+LL |     Value(Box<ManuallyDrop<T>>),
+   |           ++++               +
+
+error: aborting due to 3 previous errors
+
+For more information about this error, try `rustc --explain E0277`.