1 files changed, 52 insertions, 0 deletions
diff --git a/src/test/ui/privacy/private-in-public-assoc-ty.rs b/src/test/ui/privacy/private-in-public-assoc-ty.rs
new file mode 100644
index 000000000..fba72c131
--- /dev/null
+++ b/src/test/ui/privacy/private-in-public-assoc-ty.rs
@@ -0,0 +1,52 @@
+// Private types and traits are not allowed in interfaces of associated types.
+// This test also ensures that the checks are performed even inside private modules.
+
+#![feature(associated_type_defaults)]
+#![feature(type_alias_impl_trait)]
+
+mod m {
+    struct Priv;
+    trait PrivTr {}
+    impl PrivTr for Priv {}
+    pub trait PubTrAux1<T> {}
+    pub trait PubTrAux2 {
+        type A;
+    }
+    impl<T> PubTrAux1<T> for u8 {}
+    impl PubTrAux2 for u8 {
+        type A = Priv;
+        //~^ ERROR private type `Priv` in public interface
+    }
+
+    // "Private-in-public in associated types is hard error" in RFC 2145
+    // applies only to the aliased types, not bounds.
+    pub trait PubTr {
+        type Alias1: PrivTr;
+        //~^ WARN private trait `PrivTr` in public interface
+        //~| WARN this was previously accepted
+        type Alias2: PubTrAux1<Priv> = u8;
+        //~^ WARN private type `Priv` in public interface
+        //~| WARN this was previously accepted
+        type Alias3: PubTrAux2<A = Priv> = u8;
+        //~^ WARN private type `Priv` in public interface
+        //~| WARN this was previously accepted
+
+        type Alias4 = Priv;
+        //~^ ERROR private type `Priv` in public interface
+
+        type Exist;
+        fn infer_exist() -> Self::Exist;
+    }
+    impl PubTr for u8 {
+        type Alias1 = Priv;
+        //~^ ERROR private type `Priv` in public interface
+
+        type Exist = impl PrivTr;
+        //~^ ERROR private trait `PrivTr` in public interface
+        fn infer_exist() -> Self::Exist {
+            Priv
+        }
+    }
+}
+
+fn main() {}