{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")"}]}
    ) {
        _dest_catch_funclet: Option<(Self::BasicBlock, Option<&Self::Funclet>)>,
        if options.contains(InlineAsmOptions::MAY_UNWIND) {