1 files changed, 29 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-3763.rs b/src/test/ui/issues/issue-3763.rs
new file mode 100644
index 000000000..25ad6b319
--- /dev/null
+++ b/src/test/ui/issues/issue-3763.rs
@@ -0,0 +1,29 @@
+// compile-flags: -Zsave-analysis
+// Also regression test for #69416
+
+mod my_mod {
+    pub struct MyStruct {
+        priv_field: isize
+    }
+    pub fn MyStruct () -> MyStruct {
+        MyStruct {priv_field: 4}
+    }
+    impl MyStruct {
+        fn happyfun(&self) {}
+    }
+}
+
+fn main() {
+    let my_struct = my_mod::MyStruct();
+    let _woohoo = (&my_struct).priv_field;
+    //~^ ERROR field `priv_field` of struct `MyStruct` is private
+
+    let _woohoo = (Box::new(my_struct)).priv_field;
+    //~^ ERROR field `priv_field` of struct `MyStruct` is private
+
+    (&my_struct).happyfun();               //~ ERROR associated function `happyfun` is private
+
+    (Box::new(my_struct)).happyfun();          //~ ERROR associated function `happyfun` is private
+    let nope = my_struct.priv_field;
+    //~^ ERROR field `priv_field` of struct `MyStruct` is private
+}