Re: [PATCH v2 0/5] MR3149: widl: Don't crash if an interface is missing an uuid

[Rémi Bernon (＠rbernon)]

On Tue Jul  4 16:59:02 2023 +0000, Rémi Bernon wrote:
> I believe the check should be:
> - `[object]` interfaces are required to have a `[uuid]`, empty or not.
> - `[local]` interfaces are allowed to not have a `[uuid]`, empty or not.
> - remote (non-`[object]`, non-`[local]`) interfaces must have an
>
> `[uuid]`, unless they are empty, but they aren't supposed to be empty
> and there's a separate warning.

Fwiw this is in order of priority, `[object,local]` interface have to have an `[uuid]` under midl semantics.