{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"));"}]}
                ));
                    "{abi} is not a supported ABI for the current target"
                add_abi_diag_help(abi, lint);