{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
            // here we must emit a diagnostic. We should never display a `FrameInfo` unless we
            // Note: this triggers a `must_produce_diag` state, which means that if we ever get
            // actually want to emit a warning or error to the user.