dip1000 and preview in combine to cause extra safety errors

deadalnix deadalnix at gmail.com
Wed Jun 8 21:29:49 UTC 2022


On Wednesday, 8 June 2022 at 19:18:20 UTC, claptrap wrote:
> On Wednesday, 8 June 2022 at 17:50:18 UTC, John Colvin wrote:
>> On Wednesday, 8 June 2022 at 16:58:41 UTC, deadalnix wrote:
>>> On Wednesday, 8 June 2022 at 16:32:25 UTC, John Colvin wrote:
>>>
>>
>> The problem is `foo` and whether the compiler should somehow 
>> prevent the inconsistency between the signature and 
>> implementation. Obviously the answer is “yes, ideally”, but in 
>> practice with @safe, @system, dip1000, @live and so on it’s 
>> all a mess.
>
> Isn't the DIP process supposed to catch these sorts of things?

It did.


More information about the Digitalmars-d mailing list