{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"TyKind::Tuple(inner_tys.len(),"}]}
                TyKind::Tuple(inner_tys.len(), Substitution::from_iter(Interner, inner_tys))
                let inner_tys = inner.iter().map(|&tr| self.lower_ty(tr));
                    .intern(Interner)