{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
    // a panic hook, which means that the global `DiagCtxt` may be in a weird
    // Be careful relying on global state here: this code is called from
    // state if it was responsible for triggering the panic.