{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":".chain(substs.iter(Interner).skip(parent_subst.len(Interner))),"}]}
                        .chain(substs.iter(Interner).skip(parent_subst.len(Interner))),
                        .iter(Interner)
                );