[whatwg/webidl] Definition name uniqueness requirement omits mixins (Issue #1330)

In the [Names](https://webidl.spec.whatwg.org/#idl-names) section:

> Within the set of IDL fragments that a given implementation supports, the identifier of every interface, namespace, dictionary, enumeration, callback function, callback interface and typedef must not be the same as the identifier of any other interface, namespace, dictionary, enumeration, callback function, callback interface or typedef.

I would have expected interface mixins to be in this list, right?

<details>
<summary><i>I’m almost certain that’s an accidental omission, but not 100% sure because...<i></summary>

---
...there are only two places where interface mixin names can be referenced and both are syntactically unambiguous: the second identifier of an `IncludesStatement` and the first identifier in `PartialInterfaceOrMixin : MixinRest`. So like ... _technically_ the following fragment is already unambiguous:

```webidl
interface Foo {};
interface mixin Foo {};
Foo includes Foo;
```

...to a computer, anyway :)

</details>

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

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