Discussion Thread: DIP 1029--Add throw as Function Attribute--Final Review

[FeepingCreature]

On Friday, 17 April 2020 at 12:58:56 UTC, James Lu wrote:
> On Friday, 17 April 2020 at 11:31:21 UTC, Mike Parker wrote:
>> On Friday, 17 April 2020 at 11:28:05 UTC, Mike Parker wrote:
>>
>>>
>>> However, if you have any specific feedback on how to improve 
>>> the proposal itself, then please post it in the feedback 
>>> thread. The feedback thread will be the source for the review 
>>> summary I write at the end of this review round. I will post 
>>> a link to that thread immediately following this post.
>>
>> The feedback thread is here:
>>
>> https://forum.dlang.org/post/qhtqeavhyzjfamhgcjjl@forum.dlang.org
>
> If a nothrow function throws an Error, may the outer function 
> catch it in a well-defined manner?

Catching `Error` is always undefined. That's why nothrow may 
throw them in the first place.