diff options
Diffstat (limited to 'src/tools/wasm-shell.cpp')
-rw-r--r-- | src/tools/wasm-shell.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp index 651857965..eda4facc9 100644 --- a/src/tools/wasm-shell.cpp +++ b/src/tools/wasm-shell.cpp @@ -318,7 +318,8 @@ struct Shell { return Err{err.str()}; } } else if (auto* ref = std::get_if<RefResult>(&expected)) { - if (!val.type.isRef() || val.type.getHeapType() != ref->type) { + if (!val.type.isRef() || + !HeapType::isSubType(val.type.getHeapType(), ref->type)) { err << "expected " << ref->type << " reference, got " << val << atIndex(); return Err{err.str()}; |