{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
        // Currently, only preserving derefs for trivial terminators like SwitchInt and Goto.
        // Function calls and ASM may invalidate (nested) derefs. We must handle them carefully.
        let safe_to_preserve_derefs = matches!(