Automatic invariant generation

Stefan Koch via Digitalmars-d digitalmars-d at puremagic.com
Fri Jul 7 02:00:02 PDT 2017


On Friday, 7 July 2017 at 08:35:28 UTC, Nicholas Wilson wrote:
> On Friday, 7 July 2017 at 08:24:22 UTC, Stefan Koch wrote:
>> On Friday, 7 July 2017 at 08:21:50 UTC, Nicholas Wilson wrote:
>>> [...]
>>
>> Looks like you'd need to do your own hack to disable this 
>> particular assert.
>> When it's used in a dcompute-context.
>
> Problem is it gets decided waaaay before.

You should be able to hack around it.
LDC should be able to given you a hit when it hits this.
It's the first thing that gets put in the method.
So it has a fixed location.
Hence you can treat is it specially.


More information about the Digitalmars-d mailing list