Re: [whatwg/webidl] What is "type name" used for? (#835)

Yep. FWIW, that’s what the first sentence of that comment said too — the examples were meant to show that non-unique type name derivations might be surprising or confusing as opposed to unsound.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/issues/835#issuecomment-1113066921

You are receiving this because you are subscribed to this thread.

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

Received on Friday, 29 April 2022 08:52:10 UTC