Re: [whatwg/webidl] Annotations for what may throw (#603)

It would be good if it would give a concrete benefit specification-wise that was more than an assertion about the algorithm. However, given that we have assertions, perhaps that can be considered sufficient? We could call it `[AssertCanThrow]`.

(I think return values have a concrete benefit in that they can help with converting specification concepts to JavaScript types. This isn't really defined at the moment, but that is how they are used, especially with IDL sequences, but also other types such as Infra strings.)

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

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

Received on Tuesday, 27 September 2022 15:25:29 UTC