Automatic invariant generation

[Steven Schveighoffer via Digitalmars-d]

On 7/7/17 4:26 PM, ketmar wrote:
> Steven Schveighoffer wrote:
> 
>> On 7/7/17 2:27 PM, ketmar wrote:
>>> ketmar wrote:
>>>
>>>> yeah, this is annoying. while checking for "null this" in *class* 
>>>> method may look hacky
>>> tbh, i see nothing wrong in checking for "null this" even in class 
>>> methods, but this is a completely different story.
>>
>> In *final* methods maybe. Virtual methods are going to crash anyway 
>> before they get to that point.
> 
> i meant "in manual checking", i.e. "i think that compiler-inserted 
> `assert` is not necessary at all". sorry for writing indecipherable 
> engrish. ;-)

My statement still applies ;)

-Steve