Kristian Kilpi wrote:
> So, one should usually write instead:
>
> assert(obj !is null);
> assert(obj);
Until we do get a fix for this problem, wouldn't it be easiest to put
this check in the invariant itself?
invariant{
assert(this !is null);
}