{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"TyKind::Adt(id,"}]}
            TyKind::Adt(id, subst) => {
        match ty.kind(Interner) {
                let len = match subst.as_slice(Interner).get(1).and_then(|it| it.constant(Interner))