On Friday, 17 April 2020 at 11:28:05 UTC, Mike Parker wrote: > This is the discussion thread for the Final Review of DIP 1029, > "Add throw as Function Attribute": > > [...] Have the ideas below been discussed? - an attribute "exception_aware": does the function body use catch or throw? - using "!!" to designate attribute remove: !!pure, !!nothrow. It is visible, it is explicit.