Stream: git-wasmtime

Topic: wasmtime / issue #10376 Wasm GC: `assertion failed: types...

Wasmtime GitHub notifications bot (Mar 11 2025 at 23:59):

fitzgen opened issue #10376:

The second one is the case with the serialization. It fails even in the standalone version of Wasmtime with assertion failed: types.is_subtype(actual_ty, expected_ty) error.

assertion_failed__types_is_subtype.wasm.zip

_Originally posted by @epsylonix in #9714_

Wasmtime GitHub notifications bot (Mar 12 2025 at 00:05):

fitzgen commented on issue #10376:

What would really help with diagnosing and fixing this bug is a test case reduction. Hard to figure out what is going on with a 235KiB test case.

FWIW, we have some docs on using wasm-shrink to reduce test cases here, although we would probably want to use creduce on the .wat disassembly of this .wasm instead, since wasm-shrink doesn't have Wasm GC support yet.

Wasmtime GitHub notifications bot (Mar 12 2025 at 20:21):

fitzgen closed issue #10376:

The second one is the case with the serialization. It fails even in the standalone version of Wasmtime with assertion failed: types.is_subtype(actual_ty, expected_ty) error.

assertion_failed__types_is_subtype.wasm.zip

_Originally posted by @epsylonix in #9714_

Wasmtime GitHub notifications bot (Mar 12 2025 at 20:21):

fitzgen commented on issue #10376:

This is passing on main, at least as of 5b9e87650.

Going to go ahead and close this, but please open a new issue if you find anything else, @epsylonix!

Last updated: Apr 17 2025 at 12:05 UTC