4 files changed, 16 insertions, 0 deletions
diff --git a/test/heap-types.wast b/test/heap-types.wast
index 94138276a..e06d1dff6 100644
--- a/test/heap-types.wast
+++ b/test/heap-types.wast
@@ -188,6 +188,7 @@
     (if (ref.is_i31 (local.get $x)) (unreachable))
   )
   (func $ref.as_X (param $x anyref)
+    (drop (ref.as_non_null (local.get $x)))
     (drop (ref.as_func (local.get $x)))
     (drop (ref.as_data (local.get $x)))
     (drop (ref.as_i31 (local.get $x)))
diff --git a/test/heap-types.wast.from-wast b/test/heap-types.wast.from-wast
index a737a50ab..f3e8d5ce6 100644
--- a/test/heap-types.wast.from-wast
+++ b/test/heap-types.wast.from-wast
@@ -221,6 +221,11 @@
  )
  (func $ref.as_X (param $x anyref)
   (drop
+   (ref.as_non_null
+    (local.get $x)
+   )
+  )
+  (drop
    (ref.as_func
     (local.get $x)
    )
diff --git a/test/heap-types.wast.fromBinary b/test/heap-types.wast.fromBinary
index b1256ac4f..80c91d2fe 100644
--- a/test/heap-types.wast.fromBinary
+++ b/test/heap-types.wast.fromBinary
@@ -220,6 +220,11 @@
  )
  (func $ref.as_X (param $x anyref)
   (drop
+   (ref.as_non_null
+    (local.get $x)
+   )
+  )
+  (drop
    (ref.as_func
     (local.get $x)
    )
diff --git a/test/heap-types.wast.fromBinary.noDebugInfo b/test/heap-types.wast.fromBinary.noDebugInfo
index 5febb58a3..2852b8bea 100644
--- a/test/heap-types.wast.fromBinary.noDebugInfo
+++ b/test/heap-types.wast.fromBinary.noDebugInfo
@@ -220,6 +220,11 @@
  )
  (func $6 (param $0 anyref)
   (drop
+   (ref.as_non_null
+    (local.get $0)
+   )
+  )
+  (drop
    (ref.as_func
     (local.get $0)
    )