bug fix

aptos-labs · Feb 27, 2024 · d3fced6 · d3fced6
1 parent 3f373e6
commit d3fced6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/third_party/move/move-model/src/builder/model_builder.rs b/third_party/move/move-model/src/builder/model_builder.rs
@@ -550,8 +550,7 @@ impl<'env> ModelBuilder<'env> {
             Type::Vector(ty) => {
                 self.check_recusive_struct_with_parents(ty, loc, path, checking, loc_checking)
             },
-            Type::Primitive(..) | Type::TypeParameter(..) => true,
-            _ => panic!("ICE: invalid type in struct"),
+            _ => true,
         }
     }