Automatic invariant generation

[Timon Gehr via Digitalmars-d]

On 09.07.2017 13:57, Steven Schveighoffer wrote:
> 3. Classes are where you might see this issue, as people declare a class 
> and try to use it without allocating one all the time. But in this case, 
> when you are calling a virtual function, the segfault occurs before the 
> assert can ever be used.

What about final member functions?