DIP 1029---Add throw as Function Attribute---Community Review Round 1

[Arine]

On Tuesday, 14 January 2020 at 16:32:51 UTC, Joseph Rushton 
Wakeling wrote:
> But if a DIP solves problem A, then it's not an argument 
> against it to say, "But it doesn't solve B, C, D, ...".  It's 
> necessary to show that solving A _without_ B, C, D, ... is 
> actively harmful -- or that the particular solution to A is 
> problematic in its own right.

It's not even solving a problem. That's the problem. This DIP is 
just a change that should be included in the DIP that plans to 
make nothrow default. Then it solves a problem for *that* DIP. 
*This* DIP doesn't illustrate a problem, and as such can't be a 
solution to a problem that doesn't exist (in this DIP). If the 
problem is that attributes don't have inverses, then this isn't a 
sufficient enough solution to that problem.