diff options
Diffstat (limited to 'src/wasm/wasm.cpp')
| -rw-r--r-- | src/wasm/wasm.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/wasm/wasm.cpp b/src/wasm/wasm.cpp index 52a09e90c..21dc6e25e 100644 --- a/src/wasm/wasm.cpp +++ b/src/wasm/wasm.cpp @@ -953,6 +953,8 @@ void RefTest::finalize() { type = Type::unreachable; } else { type = Type::i32; + // Do not unnecessarily lose type information. + castType = Type::getGreatestLowerBound(castType, ref->type); } } |