Bug 247746

Summary: [WASM-Function-References] Improve type printing for reference types
Product: WebKit Reporter: Asumu Takikawa <asumu>
Component: WebAssemblyAssignee: 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: 247393    

Description Asumu Takikawa 2022-11-10 09:57:12 PST 
Type printing in, e.g., error messages, is not great for types using the features from the typed function reference proposal currently.

For example `(ref null extern)` and `(ref extern)` are both printed as "Externref". The printing should take into account nullability and also the index for reference to a type definition.
Comment 1 Radar WebKit Bug Importer 2022-11-17 09:58:18 PST 
<rdar://problem/102472468>
Comment 2 Asumu Takikawa 2023-11-16 08:25:46 PST 
Pull request: https://github.com/WebKit/WebKit/pull/20611
Comment 3 EWS 2023-11-20 14:35:01 PST 
Committed 270988@main (fd124818fa58): <https://commits.webkit.org/270988@main>

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