summaryrefslogtreecommitdiff
path: root/test/spec/struct.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/spec/struct.wast')
-rw-r--r--test/spec/struct.wast9
1 files changed, 9 insertions, 0 deletions
diff --git a/test/spec/struct.wast b/test/spec/struct.wast
index 994b025d1..20f5a0d63 100644
--- a/test/spec/struct.wast
+++ b/test/spec/struct.wast
@@ -96,3 +96,12 @@
)
"type mismatch"
)
+
+(assert_invalid
+ (module
+ (type $A (struct (field i32)))
+ (type $B (struct (field i64)))
+ (global $glob (rtt $A) (rtt.sub $A (rtt.canon $B)))
+ )
+ "invalid rtt"
+)