Re: [whatwg/webidl] Propagate a type's extended attributes to a nullable inner type (PR #1624)

nicolo-ribaudo left a comment (whatwg/webidl#1624)

Actually, I'm not sure it would be possible*. There are currently productions that are not nullable (e.g. `Promise<T>`), which are however children of `TypeWithExtendedAttributes`. If I made `TypeWithExtendedAttributes` a child of "something ?", i.e.
```
NullableType:
  TypeWithExtendedAttributes `?`
  TypeWithExtendedAttributes

TypeWithExtendedAttributes :
  ExtendedAttributes Type
  Type

Type :
  ...
``` 

\* well, it is, but it further complicates the grammar because I'd need to have a `TypeWithExtendedAttributesForInsideNullable` and `TypeWithExtendedAttributesForOutsideNullable` with different allowed types inside of them.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1624#issuecomment-5183757323
You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/pull/1624/c5183757323@github.com>

Received on Tuesday, 4 August 2026 19:39:24 UTC