summaryrefslogtreecommitdiffstats
path: root/src/test/ui/privacy/restricted/lookup-ignores-private.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/privacy/restricted/lookup-ignores-private.rs')
-rw-r--r--src/test/ui/privacy/restricted/lookup-ignores-private.rs34
1 files changed, 34 insertions, 0 deletions
diff --git a/src/test/ui/privacy/restricted/lookup-ignores-private.rs b/src/test/ui/privacy/restricted/lookup-ignores-private.rs
new file mode 100644
index 000000000..240ce1e2b
--- /dev/null
+++ b/src/test/ui/privacy/restricted/lookup-ignores-private.rs
@@ -0,0 +1,34 @@
+// build-pass (FIXME(62277): could be check-pass?)
+#![allow(warnings)]
+
+mod foo {
+ pub use foo::bar::S;
+ mod bar {
+ #[derive(Default)]
+ pub struct S {
+ pub(in foo) x: i32,
+ }
+ impl S {
+ pub(in foo) fn f(&self) -> i32 { 0 }
+ }
+
+ pub struct S2 {
+ pub(crate) x: bool,
+ }
+ impl S2 {
+ pub(crate) fn f(&self) -> bool { false }
+ }
+
+ impl ::std::ops::Deref for S {
+ type Target = S2;
+ fn deref(&self) -> &S2 { unimplemented!() }
+ }
+ }
+}
+
+
+fn main() {
+ let s = foo::S::default();
+ let _: bool = s.x;
+ let _: bool = s.f();
+}