summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-7563.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/test/ui/issues/issue-7563.rs28
1 files changed, 28 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-7563.rs b/src/test/ui/issues/issue-7563.rs
new file mode 100644
index 000000000..c62405554
--- /dev/null
+++ b/src/test/ui/issues/issue-7563.rs
@@ -0,0 +1,28 @@
+// run-pass
+#![allow(dead_code)]
+trait IDummy {
+ fn do_nothing(&self);
+}
+
+#[derive(Debug)]
+struct A { a: isize }
+#[derive(Debug)]
+struct B<'a> { b: isize, pa: &'a A }
+
+ impl IDummy for A {
+ fn do_nothing(&self) {
+ println!("A::do_nothing() is called");
+ }
+ }
+
+impl<'a> B<'a> {
+ fn get_pa(&self) -> &'a dyn IDummy { self.pa as &'a dyn IDummy }
+}
+
+pub fn main() {
+ let sa = A { a: 100 };
+ let sb = B { b: 200, pa: &sa };
+
+ println!("sa is {:?}", sa);
+ println!("sb is {:?}", sb);
+}