src/test/ui/closures/2229_closure_analysis/simple-struct-min-capture.rs

   1 // FIXME(arora-aman) add run-pass once 2229 is implemented
   2
   3 #![feature(capture_disjoint_fields)]
   4 //~^ WARNING: the feature `capture_disjoint_fields` is incomplete
   5 //~| NOTE: `#[warn(incomplete_features)]` on by default
   6 //~| NOTE: see issue #53488 <https://github.com/rust-lang/rust/issues/53488>
   7 #![feature(rustc_attrs)]
   8
   9 // Test to ensure that min analysis meets capture kind for all paths captured.
  10
  11 #[derive(Debug)]
  12 struct Point {
  13     x: i32,
  14     y: i32,
  15 }
  16
  17 fn main() {
  18     let mut p = Point { x: 10, y: 20 };
  19
  20     //
  21     // Requirements:
  22     // p.x -> MutBoorrow
  23     // p   -> ImmBorrow
  24     //
  25     // Requirements met when p is captured via MutBorrow
  26     //
  27     let mut c = #[rustc_capture_analysis]
  28         //~^ ERROR: attributes on expressions are experimental
  29         //~| NOTE: see issue #15701 <https://github.com/rust-lang/rust/issues/15701>
  30     || {
  31     //~^ ERROR: First Pass analysis includes:
  32     //~| ERROR: Min Capture analysis includes:
  33         p.x += 10;
  34         //~^ NOTE: Capturing p[(0, 0)] -> MutBorrow
  35         //~| NOTE: Min Capture p[] -> MutBorrow
  36         println!("{:?}", p);
  37         //~^ NOTE: Capturing p[] -> ImmBorrow
  38     };
  39
  40     c();
  41 }