[heycam/webidl] Why can't an inherited dictionary override something as required? (#321)

Context: in https://github.com/w3c/browser-payment-api/pull/425 we are trying to define

```webld
dictionary PaymentDetailsBase {
  PaymentItem total;
  // ... a bunch of other stuff
}

dictionary PaymentDetailsInit : PaymentDetailsBase {
  required PaymentItem total;
}
```

so that some APIs can require the `total` member. But, this appears to be disallowed by Web IDL:

> The identifier of a dictionary member must not be the same as that of another dictionary member defined on the dictionary or on that dictionary’s inherited dictionaries.

Is there any disadvantage to lifting this restriction for the specific case of being required in the derived dictionary?

-- 
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/321