{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//"}]}
        // and there's nothing else to do.
        // If we just don't need a panic runtime at all, then we're done here
        if !needs_panic_runtime {