Re: [whatwg/webidl] Detect whether a dictionary member was set by default or not (Issue #1300) from Anne van Kesteren on 2023-04-28 (public-webapps-github@w3.org from April 2023)

From: Anne van Kesteren <notifications@github.com>
Date: Fri, 28 Apr 2023 04:08:50 -0700
To: whatwg/webidl <webidl@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <whatwg/webidl/issues/1300/1527400644@github.com>

How is `myOptionalMemberWithTypo` different to a potential future member the implementation might not yet understand?

In any event, if an implementation wanted to warn for this they already can. They'd just implement the defaulting outside of IDL.

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

Message ID: <whatwg/webidl/issues/1300/1527400644@github.com>

Received on Friday, 28 April 2023 11:08:55 UTC