don't mark temp variables as safe through argument_to_value (#2307)

src/debray_allocator.rs

@@ -604,16 +604,9 @@ impl DebrayAllocator {
                     Target::unsafe_argument_to_value(r, arg_c)
                 }
             }
-            VarAlloc::Temp { ref mut safety, .. } => {
+            VarAlloc::Temp { .. } => {
-                if self
+                debug_assert!(matches!(r, RegType::Temp(_)));
-                    .branch_stack
-                    .safety_unneeded_in_branch(safety, &branch_designator)
-                {
                 Target::argument_to_value(r, arg_c)
-                } else {
-                    *safety = VarSafetyStatus::GloballyUnneeded;
-                    Target::unsafe_argument_to_value(r, arg_c)
-                }
             }
             _ => {
                 unreachable!()