{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"})"}]}
                        })
                                .map(|r| (ty.span.with_hi(r.lo()), ty.span.with_lo(r.hi())))
                        .flatten();