Bug 250107 - [Wasm-GC] Add support for final attribute
Summary: [Wasm-GC] Add support for final attribute
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebAssembly (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords: InRadar
Depends on:
Blocks: 247394
  Show dependency tree / graph
 
Reported: 2023-01-04 15:23 PST by Asumu Takikawa
Modified: 2023-08-14 18:01 PDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Asumu Takikawa 2023-01-04 15:23:57 PST 
In https://github.com/WebAssembly/gc/pull/339, a new feature was added to the Wasm GC spec that allows `sub` clauses to be declared final (no subtypes allowed).

It also changes the default so that shorthand declarations are final and an explicit non-final `sub` must be used to allow subtyping.

The JSC implementation needs to be updated to accommodate finality.
Comment 1 Radar WebKit Bug Importer 2023-01-11 15:24:16 PST 
<rdar://problem/104142413>
Comment 2 Asumu Takikawa 2023-08-10 16:14:31 PDT 
Pull request: https://github.com/WebKit/WebKit/pull/16584
Comment 3 EWS 2023-08-14 18:01:04 PDT 
Committed 266890@main (b8f9d496f05d): <https://commits.webkit.org/266890@main>

Reviewed commits have been landed. Closing PR #16584 and removing active labels.