diff options
author | Alon Zakai <azakai@google.com> | 2021-07-28 13:54:29 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-28 13:54:29 -0700 |
commit | 1ed257a587a30885f42f2c1b6170d662e741ae40 (patch) | |
tree | ad6cce346ea5a620b47944f5270b0fe7bba454a1 /test/wasm2js/br_table_to_loop.2asm.js | |
parent | c5166f636c5835413046be76e26c362ef4bbecc5 (diff) | |
download | binaryen-1ed257a587a30885f42f2c1b6170d662e741ae40.tar.gz binaryen-1ed257a587a30885f42f2c1b6170d662e741ae40.tar.bz2 binaryen-1ed257a587a30885f42f2c1b6170d662e741ae40.zip |
[Wasm GC] Handle uses of default values in LocalSubtyping (#4024)
It is ok to use the default value of a reference even if we refine the type,
as it would be a more specifically-typed null, and all nulls compare the
same. However, if the default is used then we *cannot* alter the type to
be non-nullable, as then we'd use a null where that is not allowed.
Diffstat (limited to 'test/wasm2js/br_table_to_loop.2asm.js')
0 files changed, 0 insertions, 0 deletions