about summary refs log tree commit diff
path: root/tests/ui/closures/2229_closure_analysis/path-with-array-access.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/closures/2229_closure_analysis/path-with-array-access.rs')
-rw-r--r--tests/ui/closures/2229_closure_analysis/path-with-array-access.rs33
1 files changed, 33 insertions, 0 deletions
diff --git a/tests/ui/closures/2229_closure_analysis/path-with-array-access.rs b/tests/ui/closures/2229_closure_analysis/path-with-array-access.rs
new file mode 100644
index 00000000000..0c10319314a
--- /dev/null
+++ b/tests/ui/closures/2229_closure_analysis/path-with-array-access.rs
@@ -0,0 +1,33 @@
+// edition:2021
+
+#![feature(rustc_attrs)]
+
+struct Point {
+    x: f32,
+    y: f32,
+}
+
+struct Pentagon {
+    points: [Point; 5],
+}
+
+fn main() {
+    let p1 = Point { x: 10.0, y: 10.0 };
+    let p2 = Point { x: 7.5, y: 12.5 };
+    let p3 = Point { x: 15.0, y: 15.0 };
+    let p4 = Point { x: 12.5, y: 12.5 };
+    let p5 = Point { x: 20.0, y: 10.0 };
+
+    let pent = Pentagon { points: [p1, p2, p3, p4, p5] };
+
+    let c = #[rustc_capture_analysis]
+    //~^ ERROR: attributes on expressions are experimental
+    //~| NOTE: see issue #15701 <https://github.com/rust-lang/rust/issues/15701>
+    || {
+    //~^ ERROR: First Pass analysis includes:
+    //~| ERROR: Min Capture analysis includes:
+        println!("{}", pent.points[5].x);
+        //~^ NOTE: Capturing pent[(0, 0)] -> ImmBorrow
+        //~| NOTE: Min Capture pent[(0, 0)] -> ImmBorrow
+    };
+}