1 files changed, 64 insertions, 0 deletions
diff --git a/src/test/ui/privacy/associated-item-privacy-type-binding.rs b/src/test/ui/privacy/associated-item-privacy-type-binding.rs
new file mode 100644
index 000000000..9826b83a3
--- /dev/null
+++ b/src/test/ui/privacy/associated-item-privacy-type-binding.rs
@@ -0,0 +1,64 @@
+#![feature(decl_macro, associated_type_defaults)]
+#![allow(unused, private_in_public)]
+
+mod priv_trait {
+    trait PrivTr {
+        type AssocTy = u8;
+    }
+    pub trait PubTr: PrivTr {}
+
+    pub macro mac1() {
+        let _: Box<dyn PubTr<AssocTy = u8>>;
+        //~^ ERROR trait `PrivTr` is private
+        //~| ERROR trait `PrivTr` is private
+        type InSignatureTy2 = Box<dyn PubTr<AssocTy = u8>>;
+        //~^ ERROR trait `PrivTr` is private
+        trait InSignatureTr2: PubTr<AssocTy = u8> {}
+        //~^ ERROR trait `PrivTr` is private
+    }
+    pub macro mac2() {
+        let _: Box<dyn PrivTr<AssocTy = u8>>;
+        //~^ ERROR trait `PrivTr` is private
+        //~| ERROR trait `PrivTr` is private
+        type InSignatureTy1 = Box<dyn PrivTr<AssocTy = u8>>;
+        //~^ ERROR trait `PrivTr` is private
+        trait InSignatureTr1: PrivTr<AssocTy = u8> {}
+        //~^ ERROR trait `PrivTr` is private
+    }
+}
+fn priv_trait1() {
+    priv_trait::mac1!();
+}
+fn priv_trait2() {
+    priv_trait::mac2!();
+}
+
+mod priv_parent_substs {
+    pub trait PubTrWithParam<T = Priv> {
+        type AssocTy = u8;
+    }
+    struct Priv;
+    pub trait PubTr: PubTrWithParam<Priv> {}
+
+    pub macro mac() {
+        let _: Box<dyn PubTrWithParam<AssocTy = u8>>;
+        //~^ ERROR type `Priv` is private
+        //~| ERROR type `Priv` is private
+        let _: Box<dyn PubTr<AssocTy = u8>>;
+        //~^ ERROR type `Priv` is private
+        //~| ERROR type `Priv` is private
+        pub type InSignatureTy1 = Box<dyn PubTrWithParam<AssocTy = u8>>;
+        //~^ ERROR type `Priv` is private
+        pub type InSignatureTy2 = Box<dyn PubTr<AssocTy = u8>>;
+        //~^ ERROR type `Priv` is private
+        trait InSignatureTr1: PubTrWithParam<AssocTy = u8> {}
+        //~^ ERROR type `Priv` is private
+        trait InSignatureTr2: PubTr<AssocTy = u8> {}
+        //~^ ERROR type `Priv` is private
+    }
+}
+fn priv_parent_substs() {
+    priv_parent_substs::mac!();
+}
+
+fn main() {}