{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"TyKind::Tuple(tys.len(),"}]}
                TyKind::Tuple(tys.len(), Substitution::from_iter(Interner, tys)).intern(Interner)
            }