1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/ui/privacy/private-inferred-type-2.rs b/src/test/ui/privacy/private-inferred-type-2.rs
new file mode 100644
index 000000000..15b263b38
--- /dev/null
+++ b/src/test/ui/privacy/private-inferred-type-2.rs
@@ -0,0 +1,19 @@
+// aux-build:private-inferred-type.rs
+
+extern crate private_inferred_type as ext;
+
+mod m {
+    struct Priv;
+    pub struct Pub<T>(pub T);
+
+    impl Pub<Priv> {
+        pub fn get_priv() -> Priv { Priv }
+        pub fn static_method() {}
+    }
+}
+
+fn main() {
+    m::Pub::get_priv; //~ ERROR type `Priv` is private
+    m::Pub::static_method; //~ ERROR type `Priv` is private
+    ext::Pub::static_method; //~ ERROR type `ext::Priv` is private
+}