{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"subst.iter(Interner).enumerate().map(|(idx,"}]}
        subst.iter(Interner).enumerate().map(|(idx, arg)| {
        Interner,
            if idx == trait_self_idx { ty.clone().cast(Interner) } else { arg.clone() }