Bug 250107

Summary:	[Wasm-GC] Add support for final attribute
Product:	WebKit	Reporter:	Asumu Takikawa <asumu>
Component:	WebAssembly	Assignee:	Nobody <webkit-unassigned>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified
Bug Depends on:
Bug Blocks:	247394

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.