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.
