1 files changed, 18 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-18389.rs b/src/test/ui/issues/issue-18389.rs
new file mode 100644
index 000000000..654dfb63b
--- /dev/null
+++ b/src/test/ui/issues/issue-18389.rs
@@ -0,0 +1,18 @@
+use std::any::Any;
+use std::any::TypeId;
+
+trait Private<P, R> {
+    fn call(&self, p: P, r: R);
+}
+pub trait Public: Private<
+//~^ ERROR private trait `Private<<Self as Public>::P, <Self as Public>::R>` in public interface
+    <Self as Public>::P,
+    <Self as Public>::R
+> {
+    type P;
+    type R;
+
+    fn call_inner(&self);
+}
+
+fn main() {}