Discussion Thread: DIP 1028--Make @safe the Default--Final Review

[Jonathan Marler]

On Wednesday, 8 April 2020 at 13:58:12 UTC, Steven Schveighoffer 
wrote:
> On 4/8/20 9:35 AM, aliak wrote:
>> On Wednesday, 8 April 2020 at 13:09:33 UTC, Steven 
>> Schveighoffer wrote:
>>> On 4/7/20 10:01 PM, Timon Gehr wrote:
>>>> [...]
>>> [...]
>> 
>> It really feels like you and Timon are talking past each other 
>> based on mixing up extern(C) declarations and extern(C) 
>> definitions?
>
> No, I think we both understand that difference. I actually 
> understand the point of view of Timon and Jonathan and agree 
> with that point of view, I just think the restriction isn't 
> helpful, and is just going to cause busywork for no true 
> benefit.
>

Which Jonathan?  I'm on the side that if the compiler can verify 
it, it should be @safe.  The extern'ness of a function seems to 
be orthogonal as to whether it can be verified.  Having a 
function body seems to be the primary criteria.