fix merge bug

crates/flux-common/src/dbg.rs

@@ -77,7 +77,7 @@ macro_rules! _statement{
             let genv = ck.genv;
             let local_names = &ck.body.local_names;
             let local_decls = &ck.body.local_decls;
-            let rcx_json = RefineCtxtTrace::new(genv, $rcx);
+            let rcx_json = RefineCtxtTrace::new(genv, rcx);
             let env_json = TypeEnvTrace::new(genv, local_names, local_decls, $env);
             let span_json = SpanTrace::new(genv, $span);
             tracing::info!(event = concat!("statement_", $pos), stmt = ?$stmt, stmt_span = ?$span, rcx = ?rcx, env = ?$env, rcx_json = ?rcx_json, env_json = ?env_json, stmt_span_json = ?span_json)