tests/mir-opt/copy-prop/move_projection.f.CopyProp.diff

   1 - // MIR for `f` before CopyProp
   2 + // MIR for `f` after CopyProp
   3
   4   fn f(_1: Foo) -> bool {
   5       let mut _0: bool;                    // return place in scope 0 at $DIR/move_projection.rs:+0:17: +0:21
   6       let mut _2: Foo;                     // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
   7       let mut _3: u8;                      // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
   8
   9       bb0: {
  10 -         _2 = _1;                         // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
  11 -         _3 = move (_2.0: u8);            // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
  12 -         _0 = opaque::<Foo>(move _1) -> bb1; // scope 0 at $DIR/move_projection.rs:+6:13: +6:44
  13 +         _3 = (_1.0: u8);                 // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
  14 +         _0 = opaque::<Foo>(_1) -> bb1;   // scope 0 at $DIR/move_projection.rs:+6:13: +6:44
  15                                            // mir::Constant
  16                                            // + span: $DIR/move_projection.rs:19:28: 19:34
  17                                            // + literal: Const { ty: fn(Foo) -> bool {opaque::<Foo>}, val: Value(<ZST>) }
  18       }
  19
  20       bb1: {
  21           _0 = opaque::<u8>(move _3) -> bb2; // scope 0 at $DIR/move_projection.rs:+9:13: +9:44
  22                                            // mir::Constant
  23                                            // + span: $DIR/move_projection.rs:22:28: 22:34
  24                                            // + literal: Const { ty: fn(u8) -> bool {opaque::<u8>}, val: Value(<ZST>) }
  25       }
  26
  27       bb2: {
  28           return;                          // scope 0 at $DIR/move_projection.rs:+12:13: +12:21
  29       }
  30   }
  31