1 files changed, 6 insertions, 0 deletions
diff --git a/src/ir/effects.h b/src/ir/effects.h
index 603ed49a3..ca440ce51 100644
--- a/src/ir/effects.h
+++ b/src/ir/effects.h
@@ -598,6 +598,12 @@ private:
         parent.implicitTrap = true;
       }
     }
+    void visitRefAs(RefAs* curr) {
+      // traps when the arg is not valid
+      if (curr->value->type.isNullable()) {
+        parent.implicitTrap = true;
+      }
+    }
   };
 
 public: