{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
        // When modifying, make sure that the type_name string exactly matches
        //
        // the one used in library/panic_unwind/src/seh.rs.