<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> * What is your evaluation of the proposal?<br></blockquote><div>-1, we are introducing confusion between WHAT is returned and IF it returns</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* Is the problem being addressed significant enough to warrant a change to Swift?<br></blockquote><div>the assumption that the attribute was superfluous was wrong, for clarity reasons. So there is no significant problem addressed</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* Does this proposal fit well with the feel and direction of Swift?<br></blockquote><div>This proposal feels like someone wants to remove '@' from attributes: this causes confusion. I may have defined a class with name NoReturn for a different use.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* How much effort did you put into your review? A glance, a quick reading, or an in-depth study?<br></blockquote><div>A quick reading.</div><div><br></div><div>Antoine</div></div></div>