about summary refs log tree commit diff
path: root/tests/ui/rfcs/rfc-2005-default-binding-mode/ref-region.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/rfcs/rfc-2005-default-binding-mode/ref-region.rs')
-rw-r--r--tests/ui/rfcs/rfc-2005-default-binding-mode/ref-region.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/rfcs/rfc-2005-default-binding-mode/ref-region.rs b/tests/ui/rfcs/rfc-2005-default-binding-mode/ref-region.rs
new file mode 100644
index 00000000000..b74e45c9328
--- /dev/null
+++ b/tests/ui/rfcs/rfc-2005-default-binding-mode/ref-region.rs
@@ -0,0 +1,16 @@
+// run-pass
+fn foo<'a, 'b>(x: &'a &'b Option<u32>) -> &'a u32 {
+    let x: &'a &'a Option<u32> = x;
+    match x {
+        Some(r) => {
+            let _: &u32 = r;
+            r
+        },
+        &None => panic!(),
+    }
+}
+
+pub fn main() {
+    let x = Some(5);
+    foo(&&x);
+}