Re: [heycam/webidl] Arguments allow double extended attributes (#691)

Looks like the step 4 and 5 already makes the propagation to only happen for non-optional/non-required members, as:

>If type appears as part of a Type production directly within an Argument production

... a direct Type production currently means no `optional` or `required`.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/691#issuecomment-492074031