privacy: Fix regression in impl reachability

2 files changed, 17 insertions, 0 deletions

diff --git a/src/test/ui/privacy/auxiliary/issue-57264.rs b/src/test/ui/privacy/auxiliary/issue-57264.rs
new file mode 100644
index 00000000000..9302fa0d9e8
--- /dev/null
+++ b/src/test/ui/privacy/auxiliary/issue-57264.rs
@@ -0,0 +1,9 @@
+mod inner {
+    pub struct PubUnnameable;
+}
+
+pub struct Pub<T>(T);
+
+impl Pub<inner::PubUnnameable> {
+    pub fn pub_method() {}
+}
diff --git a/src/test/ui/privacy/issue-57264.rs b/src/test/ui/privacy/issue-57264.rs
new file mode 100644
index 00000000000..57e9960a058
--- /dev/null
+++ b/src/test/ui/privacy/issue-57264.rs
@@ -0,0 +1,8 @@
+// compile-pass
+// aux-build:issue-57264.rs
+
+extern crate issue_57264;
+
+fn main() {
+    issue_57264::Pub::pub_method();
+}