diff options
Diffstat (limited to 'test/spec/convert_extern.wast')
| -rw-r--r-- | test/spec/convert_extern.wast | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/spec/convert_extern.wast b/test/spec/convert_extern.wast new file mode 100644 index 000000000..36254bc4a --- /dev/null +++ b/test/spec/convert_extern.wast @@ -0,0 +1,11 @@ +(module + (func $shared-null (export "shared-null") (result (ref null (shared any))) + ;; The shared null here should remain shared as we internalize it. + (any.convert_extern + (ref.null (shared noextern)) + ) + ) +) + +(assert_return (invoke "shared-null") (ref.null (shared any))) + |