{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"if"}]}
                if body.phase <= MirPhase::Runtime(RuntimePhase::PostCleanup)
                write!(w, " (static: {}", tcx.def_path_str(did))?;
                    && body