264649 2023-11-10 18:23:43 -0800 [WASM-Function-References] call_ref should subtype-check its arguments 2023-12-08 18:29:59 -0800 1 1 1 Unclassified WebKit WebAssembly WebKit Nightly Build Unspecified Unspecified RESOLVED FIXED InRadar P2 Normal --- 247393 1 asumu webkit-unassigned bashorov justin_michaud keith_miller mark.lam webkit-bug-importer oldest_to_newest 1991771 0 asumu 2023-11-10 18:23:43 -0800 Right now call_ref uses type equality rather than subtyping to check its argument types Example program that fails: (module (func (param eqref)) (global (ref 0) (ref.func 0)) (func (call_ref 0 (ref.i31 (i32.const 42)) (global.get 0))) ) 1993619 1 webkit-bug-importer 2023-11-17 18:24:13 -0800 <rdar://problem/118588656> 1997200 2 asumu 2023-12-05 13:31:18 -0800 Pull request: https://github.com/WebKit/WebKit/pull/21353 1998229 3 ews-feeder 2023-12-08 18:29:57 -0800 Committed 271780@main (c64fed2494ab): <https://commits.webkit.org/271780@main> Reviewed commits have been landed. Closing PR #21353 and removing active labels.