1 files changed, 86 insertions, 0 deletions
diff --git a/src/test/ui/extern/extern-types-unsized.stderr b/src/test/ui/extern/extern-types-unsized.stderr
new file mode 100644
index 000000000..8d6713261
--- /dev/null
+++ b/src/test/ui/extern/extern-types-unsized.stderr
@@ -0,0 +1,86 @@
+error[E0277]: the size for values of type `A` cannot be known at compilation time
+  --> $DIR/extern-types-unsized.rs:22:20
+   |
+LL |     assert_sized::<A>();
+   |                    ^ doesn't have a size known at compile-time
+   |
+   = help: the trait `Sized` is not implemented for `A`
+note: required by a bound in `assert_sized`
+  --> $DIR/extern-types-unsized.rs:19:17
+   |
+LL | fn assert_sized<T>() {}
+   |                 ^ required by this bound in `assert_sized`
+help: consider relaxing the implicit `Sized` restriction
+   |
+LL | fn assert_sized<T: ?Sized>() {}
+   |                  ++++++++
+
+error[E0277]: the size for values of type `A` cannot be known at compilation time
+  --> $DIR/extern-types-unsized.rs:25:5
+   |
+LL |     assert_sized::<Foo>();
+   |     ^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = help: within `Foo`, the trait `Sized` is not implemented for `A`
+note: required because it appears within the type `Foo`
+  --> $DIR/extern-types-unsized.rs:9:8
+   |
+LL | struct Foo {
+   |        ^^^
+note: required by a bound in `assert_sized`
+  --> $DIR/extern-types-unsized.rs:19:17
+   |
+LL | fn assert_sized<T>() {}
+   |                 ^ required by this bound in `assert_sized`
+help: consider relaxing the implicit `Sized` restriction
+   |
+LL | fn assert_sized<T: ?Sized>() {}
+   |                  ++++++++
+
+error[E0277]: the size for values of type `A` cannot be known at compilation time
+  --> $DIR/extern-types-unsized.rs:28:5
+   |
+LL |     assert_sized::<Bar<A>>();
+   |     ^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = help: within `Bar<A>`, the trait `Sized` is not implemented for `A`
+note: required because it appears within the type `Bar<A>`
+  --> $DIR/extern-types-unsized.rs:14:8
+   |
+LL | struct Bar<T: ?Sized> {
+   |        ^^^
+note: required by a bound in `assert_sized`
+  --> $DIR/extern-types-unsized.rs:19:17
+   |
+LL | fn assert_sized<T>() {}
+   |                 ^ required by this bound in `assert_sized`
+help: consider relaxing the implicit `Sized` restriction
+   |
+LL | fn assert_sized<T: ?Sized>() {}
+   |                  ++++++++
+
+error[E0277]: the size for values of type `A` cannot be known at compilation time
+  --> $DIR/extern-types-unsized.rs:31:5
+   |
+LL |     assert_sized::<Bar<Bar<A>>>();
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = help: within `Bar<Bar<A>>`, the trait `Sized` is not implemented for `A`
+note: required because it appears within the type `Bar<A>`
+  --> $DIR/extern-types-unsized.rs:14:8
+   |
+LL | struct Bar<T: ?Sized> {
+   |        ^^^
+note: required by a bound in `assert_sized`
+  --> $DIR/extern-types-unsized.rs:19:17
+   |
+LL | fn assert_sized<T>() {}
+   |                 ^ required by this bound in `assert_sized`
+help: consider relaxing the implicit `Sized` restriction
+   |
+LL | fn assert_sized<T: ?Sized>() {}
+   |                  ++++++++
+
+error: aborting due to 4 previous errors
+
+For more information about this error, try `rustc --explain E0277`.