{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"TyKind::Adt(id,"}]}
            TyKind::Adt(id, target_subst) => match &current_ty.kind(Interner) {
            }
                TyKind::Adt(current_id, current_subst) => {