With 796 fixed, this is no longer accurate.
After evaluated to a class or struct reference, an AssertError is thrown if the reference is null else the invariant is run.