1 files changed, 74 insertions, 0 deletions
diff --git a/tests/ui/unsized/unsized-enum2.rs b/tests/ui/unsized/unsized-enum2.rs
new file mode 100644
index 000000000..d589f5ae5
--- /dev/null
+++ b/tests/ui/unsized/unsized-enum2.rs
@@ -0,0 +1,74 @@
+use std::ops::Deref;
+
+// Due to aggressive error message deduplication, we require 20 *different*
+// unsized types (even Path and [u8] are considered the "same").
+
+trait Foo {}
+trait Bar {}
+trait FooBar {}
+trait BarFoo {}
+
+trait PathHelper1 {}
+trait PathHelper2 {}
+trait PathHelper3 {}
+trait PathHelper4 {}
+
+struct Path1(dyn PathHelper1);
+struct Path2(dyn PathHelper2);
+struct Path3(dyn PathHelper3);
+struct Path4(dyn PathHelper4);
+
+enum E<W: ?Sized, X: ?Sized, Y: ?Sized, Z: ?Sized> {
+    // parameter
+    VA(W),
+    //~^ ERROR the size for values of type
+    VB{x: X},
+    //~^ ERROR the size for values of type
+    VC(isize, Y),
+    //~^ ERROR the size for values of type
+    VD{u: isize, x: Z},
+    //~^ ERROR the size for values of type
+
+    // slice / str
+    VE([u8]),
+    //~^ ERROR the size for values of type
+    VF{x: str},
+    //~^ ERROR the size for values of type
+    VG(isize, [f32]),
+    //~^ ERROR the size for values of type
+    VH{u: isize, x: [u32]},
+    //~^ ERROR the size for values of type
+
+    // unsized struct
+    VI(Path1),
+    //~^ ERROR the size for values of type
+    VJ{x: Path2},
+    //~^ ERROR the size for values of type
+    VK(isize, Path3),
+    //~^ ERROR the size for values of type
+    VL{u: isize, x: Path4},
+    //~^ ERROR the size for values of type
+
+    // plain trait
+    VM(dyn Foo),
+    //~^ ERROR the size for values of type
+    VN{x: dyn Bar},
+    //~^ ERROR the size for values of type
+    VO(isize, dyn FooBar),
+    //~^ ERROR the size for values of type
+    VP{u: isize, x: dyn BarFoo},
+    //~^ ERROR the size for values of type
+
+    // projected
+    VQ(<&'static [i8] as Deref>::Target),
+    //~^ ERROR the size for values of type
+    VR{x: <&'static [char] as Deref>::Target},
+    //~^ ERROR the size for values of type
+    VS(isize, <&'static [f64] as Deref>::Target),
+    //~^ ERROR the size for values of type
+    VT{u: isize, x: <&'static [i32] as Deref>::Target},
+    //~^ ERROR the size for values of type
+}
+
+
+fn main() { }