1 files changed, 56 insertions, 0 deletions
diff --git a/src/test/ui/privacy/private-type-in-interface.stderr b/src/test/ui/privacy/private-type-in-interface.stderr
new file mode 100644
index 000000000..4e87caa34
--- /dev/null
+++ b/src/test/ui/privacy/private-type-in-interface.stderr
@@ -0,0 +1,56 @@
+error: type `Priv` is private
+  --> $DIR/private-type-in-interface.rs:15:9
+   |
+LL | fn f(_: m::Alias) {}
+   |         ^^^^^^^^ private type
+
+error: type `Priv` is private
+  --> $DIR/private-type-in-interface.rs:15:6
+   |
+LL | fn f(_: m::Alias) {}
+   |      ^ private type
+
+error: type `ext::Priv` is private
+  --> $DIR/private-type-in-interface.rs:17:13
+   |
+LL | fn f_ext(_: ext::Alias) {}
+   |             ^^^^^^^^^^ private type
+
+error: type `ext::Priv` is private
+  --> $DIR/private-type-in-interface.rs:17:10
+   |
+LL | fn f_ext(_: ext::Alias) {}
+   |          ^ private type
+
+error: type `Priv` is private
+  --> $DIR/private-type-in-interface.rs:21:6
+   |
+LL | impl m::Alias {}
+   |      ^^^^^^^^ private type
+
+error: type `ext::Priv` is private
+  --> $DIR/private-type-in-interface.rs:22:14
+   |
+LL | impl Tr1 for ext::Alias {}
+   |              ^^^^^^^^^^ private type
+
+error: type `Priv` is private
+  --> $DIR/private-type-in-interface.rs:23:10
+   |
+LL | type A = <m::Alias as m::Trait>::X;
+   |          ^^^^^^^^^^^^^^^^^^^^^^^^^ private type
+
+error: type `Priv` is private
+  --> $DIR/private-type-in-interface.rs:27:11
+   |
+LL | fn g() -> impl Tr2<m::Alias> { 0 }
+   |           ^^^^^^^^^^^^^^^^^^ private type
+
+error: type `ext::Priv` is private
+  --> $DIR/private-type-in-interface.rs:28:15
+   |
+LL | fn g_ext() -> impl Tr2<ext::Alias> { 0 }
+   |               ^^^^^^^^^^^^^^^^^^^^ private type
+
+error: aborting due to 9 previous errors
+