[heycam/webidl] Examine whether the "return type" concept actually works, given overloads (#879)

Continued from https://www.w3.org/Bugs/Public/show_bug.cgi?id=25051 and https://github.com/heycam/webidl/pull/776.

The spec currently makes use of the concept of "return type", sometimes in reference to an operation, and sometimes in reference to a particular overload of an operation. An operation in general doesn't have a single return type, given the existence of overloads. Additionally, I think the spec also uses "return type" for things like callback functions.

https://github.com/heycam/webidl/pull/776#issuecomment-524929243 contains a list of all uses of "return type", which we should audit, figure out what they want to use, and perhaps come up with a better formal framework.

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