Additional negative subtyping tests (WebAssembly#286)

dhil · Apr 4, 2022 · 0617461 · 0617461
1 parent 2358bd0
commit 0617461
Showing 1 changed file with 76 additions and 0 deletions.
diff --git a/test/core/gc/type-subtyping.wast b/test/core/gc/type-subtyping.wast
@@ -134,3 +134,79 @@
   )
 )
 (assert_return (invoke "run"))
+
+
+;; Invalid subtyping definitions
+
+(assert_invalid
+  (module
+    (type $a0 (array i32))
+    (type $s0 (sub $a0 (struct)))
+  )
+  "sub type"
+)
+
+(assert_invalid 
+  (module
+    (type $f0 (func (param i32) (result i32)))
+    (type $s0 (sub $f0 (struct)))
+  )
+  "sub type"
+)
+
+(assert_invalid
+  (module
+    (type $s0 (struct))
+    (type $a0 (sub $s0 (array i32)))
+  )
+  "sub type"
+)
+
+(assert_invalid
+  (module
+    (type $f0 (func (param i32) (result i32)))
+    (type $a0 (sub $f0 (array i32)))
+  )
+  "sub type"
+)
+
+(assert_invalid 
+  (module
+    (type $s0 (struct))
+    (type $f0 (sub $s0 (func (param i32) (result i32))))
+  )
+  "sub type"
+)
+
+(assert_invalid 
+  (module
+    (type $a0 (array i32))
+    (type $f0 (sub $a0 (func (param i32) (result i32))))
+  )
+  "sub type"
+)
+
+(assert_invalid
+  (module
+    (type $a0 (array i32))
+    (type $a1 (sub $a0 (array i64)))
+  )
+  "sub type"
+)
+
+(assert_invalid
+  (module
+    (type $s0 (struct (field i32)))
+    (type $s1 (sub $s0 (struct (field i64))))
+  )
+  "sub type"
+)
+
+(assert_invalid
+  (module
+    (type $f0 (func))
+    (type $f1 (sub $f0 (func (param i32))))
+  )
+  "sub type"
+)
+