test: Add test for #7563. Closes #7563

1 files changed, 25 insertions, 0 deletions

diff --git a/src/test/run-pass/issue-7563.rs b/src/test/run-pass/issue-7563.rs
new file mode 100644
index 00000000000..f36dcb5ef1b
--- /dev/null
+++ b/src/test/run-pass/issue-7563.rs
@@ -0,0 +1,25 @@
+trait IDummy {
+    fn do_nothing(&self);
+}
+
+struct A { a: int }
+struct B<'self> { b: int, pa: &'self A }
+
+    impl IDummy for A {
+        fn do_nothing(&self) {
+            println("A::do_nothing() is called");
+        }
+    }
+
+impl<'self> B<'self> {
+    fn get_pa(&self) -> &'self IDummy { self.pa as &'self IDummy }
+}
+
+pub fn main() {
+    let sa = A { a: 100 };
+    let sb = B { b: 200, pa: &sa };
+
+    debug!("sa is %?", sa);
+    debug!("sb is %?", sb);
+    debug!("sb.pa is %?", sb.get_pa());
+}