The generic struct is not allowed except for the Option type. (#1811)

rooch-network · Jun 4, 2024 · dbfef6d · dbfef6d
1 parent f5d183a
commit dbfef6d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 9 deletions.
diff --git a/moveos/moveos-verifier/src/metadata.rs b/moveos/moveos-verifier/src/metadata.rs
@@ -1102,6 +1102,10 @@ fn check_data_struct_fields_type(
                 return false;
             }
 
+            if !ty_args.is_empty() {
+                return false;
+            }
+
             if !is_data_struct_annotation(&struct_env, module_env) {
                 return false;
             }

diff --git a/moveos/moveos-verifier/src/verifier.rs b/moveos/moveos-verifier/src/verifier.rs
@@ -1335,15 +1335,7 @@ where
                         );
                     }
                 }
-
-                validate_struct(
-                    &struct_full_name,
-                    struct_handle_idx,
-                    current_module,
-                    module_bin_view,
-                    verified_modules,
-                    db,
-                )
+                (false, ErrorCode::INVALID_DATA_STRUCT_NOT_ALLOWED_TYPE)
             }
             _ => (false, ErrorCode::INVALID_DATA_STRUCT_NOT_ALLOWED_TYPE),
         }