{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//"}]}
        // non-trivial to define it earlier.
        // Ideally we would use `bug!` here. But bug! is only defined in rustc_middle, and it's
        panic!(