1 files changed, 4 insertions, 0 deletions
diff --git a/src/ir/effects.h b/src/ir/effects.h
index 5e50441ac..f5fdc5184 100644
--- a/src/ir/effects.h
+++ b/src/ir/effects.h
@@ -726,6 +726,10 @@ private:
       parent.implicitTrap = true;
     }
     void visitRefAs(RefAs* curr) {
+      if (curr->op == ExternInternalize || curr->op == ExternExternalize) {
+        // These conversions are infallible.
+        return;
+      }
       // traps when the arg is not valid
       parent.implicitTrap = true;
       // Note: We could be more precise here and report the lack of a possible