-preview=in might break code

Jacob Carlborg doob at me.com
Sat Oct 3 07:34:59 UTC 2020


On 2020-10-03 01:03, Steven Schveighoffer wrote:

> But this could be true for another type that isn't in the exception 
> categories. Potentially, a compiler can decide to make the following not 
> true, while others say it is true:
> 
> alias A = void delegate(in long);
> alias B = void delegate(const long);
> 
> static assert(is(A : B));

FYI, same problem with `__traits(isReturnOnStack)` [1].

[1] https://dlang.org/spec/traits.html#isReturnOnStack

-- 
/Jacob Carlborg


More information about the Digitalmars-d mailing list