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/binaryen.js/hello-world.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/binaryen.js/hello-world.js')
0 files changed, 0 insertions, 0 deletions