https://issues.dlang.org/show_bug.cgi?id=13442

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla@digitalmars.com

--- Comment #1 from Walter Bright <bugzilla@digitalmars.com> ---
The unsafe-ness of a default argument is in the caller side, not the function
side. The error should be caught in main(), not in the compilation of f().

Still a bug, though.

--

https://issues.dlang.org/show_bug.cgi?id=13442

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://issues.dlang.org/sh
                   |                            |ow_bug.cgi?id=11047

--

https://issues.dlang.org/show_bug.cgi?id=13442

--- Comment #2 from Walter Bright <bugzilla@digitalmars.com> ---
Unfortunately, fixing this is going to be a bit difficult. Safety checks are done during the semantic pass, not an add-on. The semantic pass for default args are run in the context of the function declaration, not the function call site, meaning the safety checks are not included in the semantic analysis of the function call site.

--

https://issues.dlang.org/show_bug.cgi?id=13442

Mathias LANG <pro.mathias.lang@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |pro.mathias.lang@gmail.com
         Resolution|---                         |DUPLICATE

--- Comment #3 from Mathias LANG <pro.mathias.lang@gmail.com> ---
Indeed, and this applies to most attributes (`nothrow` excepted). Marking as
duplicate.

*** This issue has been marked as a duplicate of issue 11048 ***

--