Run filecheck on dest-prop/simple.rs

Author: CastilloDel

tests/mir-opt/dest-prop/simple.rs

@@ -1,9 +1,10 @@
-// skip-filecheck
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 //! Copy of `nrvo-simple.rs`, to ensure that full dest-prop handles it too.
 //@ unit-test: DestinationPropagation
 // EMIT_MIR simple.nrvo.DestinationPropagation.diff
 fn nrvo(init: fn(&mut [u8; 1024])) -> [u8; 1024] {
+    // CHECK-LABEL: fn nrvo
+    // CHECK-NOT: {{_.*}} = {{_.*}}
     let mut buf = [0; 1024];
     init(&mut buf);
     buf