Skip to content

[wasmparser] Add [implements=<I>]L component name support#2453

Draft
ricochet wants to merge 1 commit intobytecodealliance:mainfrom
ricochet:wasmparser-implements
Draft

[wasmparser] Add [implements=<I>]L component name support#2453
ricochet wants to merge 1 commit intobytecodealliance:mainfrom
ricochet:wasmparser-implements

Conversation

@ricochet
Copy link
Contributor

Add parsing, validation, and uniqueness rules for the new
[implements=<interface>]label extern name form from the component
model implements proposal. An implements name labels an instance
import/export that implements a named interface.

Uniqueness: [implements=<I>]L conflicts with bare label L and with
[method]L.L / [static]L.L (the existing l.l edge case), but is
strongly unique from interface names, constructors, and normal
method/static names.

See implements feature:
WebAssembly/component-model#613

Add parsing, validation, and uniqueness rules for the new
`[implements=<interface>]label` extern name form from the component
model `implements` proposal. An implements name labels an instance
import/export that implements a named interface.

Uniqueness: `[implements=<I>]L` conflicts with bare label `L` and with
`[method]L.L` / `[static]L.L` (the existing l.l edge case), but is
strongly unique from interface names, constructors, and normal
method/static names.

See implements feature:
WebAssembly/component-model#613
@ricochet ricochet requested a review from a team as a code owner February 27, 2026 20:45
@ricochet ricochet requested review from dicej and removed request for a team February 27, 2026 20:45
@ricochet ricochet marked this pull request as draft February 27, 2026 20:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant