summaryrefslogtreecommitdiff
path: root/test/spec
diff options
context:
space:
mode:
Diffstat (limited to 'test/spec')
-rw-r--r--test/spec/shared-polymorphism.wast13
1 files changed, 13 insertions, 0 deletions
diff --git a/test/spec/shared-polymorphism.wast b/test/spec/shared-polymorphism.wast
index 547829f11..be8b5e467 100644
--- a/test/spec/shared-polymorphism.wast
+++ b/test/spec/shared-polymorphism.wast
@@ -9,4 +9,17 @@
(func (param (ref null (shared i31))) (drop (i31.get_u (local.get 0))))
(func (param (ref null (shared array))) (drop (array.len (local.get 0))))
+
+ (func (param (ref null (shared extern))) (result (ref null (shared any)))
+ (any.convert_extern (local.get 0))
+ )
+ (func (param (ref (shared extern))) (result (ref (shared any)))
+ (any.convert_extern (local.get 0))
+ )
+ (func (param (ref null (shared any))) (result (ref null (shared extern)))
+ (extern.convert_any (local.get 0))
+ )
+ (func (param (ref (shared any))) (result (ref (shared extern)))
+ (extern.convert_any (local.get 0))
+ )
)