retard wrote: > What exactly is the cost here? The non-nullability invariant can be > checked on compile time. It incurs no runtime overhead. Also the notation > can be quite terse, as we have seen in Other Languages(tm). If you want, you can create a template NonNullable that wraps an existing type, and try that out.