{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"bx.val_ty(type_info),"}]}
            bx.val_ty(type_info),
            &mangle_internal_symbol(bx.tcx, "__rust_panic_type_info"),
        );