{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
                // This should be reported elsewhere, but we want to taint this body
            AbiMapping::Invalid => {
                // so that we don't try to evaluate calls to ABIs that are invalid.