239668 2022-04-22 12:31:55 -0700 [Wasm-GC] Add support for subtyping declarations 2024-07-24 15:25:15 -0700 1 1 1 Unclassified WebKit WebAssembly WebKit Nightly Build Unspecified Unspecified RESOLVED FIXED InRadar P2 Normal --- 247394 1 asumu webkit-unassigned bashorov dbezhetskov saam webkit-bug-importer ysuzuki oldest_to_newest 1863744 0 asumu 2022-04-22 12:31:55 -0700 As mentioned in https://bugs.webkit.org/show_bug.cgi?id=239666, full support of the Wasm GC proposal requires type system support for both recursion groups and subtyping declarations. In the latest GC proposal design, subtyping (e.g., for struct types) is declared explicitly with a `sub` operator: Example: ``` (module (type $s1 (struct)) (type $s2 (sub $s1 (field i32))) ) ``` The binary format allows for multiple supertypes, but the MVP design will restrict it to one supertype. A reference type with an index to a type definition that has supertypes will be compatible with a reference type to its supertype index. Only array and struct types will support subtyping at first, so it likely makes sense to implement this after struct operations and recursive types land. 1863745 1 asumu 2022-04-22 12:32:54 -0700 There was a mistake in the example, it should have a `struct` operator in there: ``` (module (type $s1 (struct)) (type $s2 (sub $s1 (struct (field i32)))) ) ``` 1865500 2 webkit-bug-importer 2022-04-29 12:32:12 -0700 <rdar://problem/92538296> 1908281 3 asumu 2022-10-25 16:14:44 -0700 Pull request: https://github.com/WebKit/WebKit/pull/5786 1909866 4 ews-feeder 2022-11-02 14:23:53 -0700 Committed 256243@main (431164ca6a4b): <https://commits.webkit.org/256243@main> Reviewed commits have been landed. Closing PR #5786 and removing active labels. 1909907 5 bashorov 2022-11-02 16:14:22 -0700 I'm wondering if there is an umbrella issue to track progress about GC proposal support? Also, could you please suggest how I may try current state in the Safari(I guess in Technology Preview)? Specifically how I cen turn on relevant options in Safari? 1909937 6 asumu 2022-11-02 17:20:05 -0700 (In reply to bashorov from comment #5) > I'm wondering if there is an umbrella issue to track progress about GC > proposal support? > > Also, could you please suggest how I may try current state in the Safari(I > guess in Technology Preview)? Specifically how I cen turn on relevant > options in Safari? I just created an umbrella bug for GC here: https://bugs.webkit.org/show_bug.cgi?id=247394 There is still a bunch of work needed to run non-trivial Wasm GC programs, but a subset of the spec tests will pass. There is a `--useWebAssemblyGC` flag for JSC that you can toggle if you build JSC standalone. Not sure it is exposed via WebKit and visible in the Safari UI though. 1910038 7 bashorov 2022-11-03 04:41:44 -0700 > I just created an umbrella bug for GC Cool, thanks! > Not sure it is exposed via WebKit and visible in the Safari UI though. Where/who is right place/person to ask about it? 2048185 8 d_degazio 2024-07-24 15:25:15 -0700 *** Bug 233919 has been marked as a duplicate of this bug. ***