{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"});"}]}
                    });
                        clobbers: validated.clobber_abis.iter().map(|(_, span)| *span).collect(),
                }