address review: add opaques in move_projection.rs

Signed-off-by: Shunpoco <tkngsnsk313320@gmail.com>

Author: Shunpoco

tests/mir-opt/copy-prop/move_projection.rs

@@ -19,7 +19,10 @@ fn f(a: Foo) -> bool {
     // CHECK: bb0: {
     // CHECK-NOT: _2 = copy [[a]];
     // CHECK-NOT: _3 = move (_2.0: u8);
-    // CHECK: _3 = copy ([[a]].0: u8);
+    // CHECK: [[c:_.*]] = copy ([[a]].0: u8);
+    // CHECK: _0 = opaque::<Foo>(copy [[a]])
+    // CHECK: bb1: {
+    // CHECK: _0 = opaque::<u8>(move [[c]])
     mir! {
         {
             let b = a;