Очередная статья о C# 7 заставила задуматься: а в чём профит от non-null типов? То, что null — это ошибка, очевидно. Но разве можно не намокнуть, "запретив дождь"?!
Ведь null — это и есть индикатор, что что-то пошлó не так! Просто "взрыв на присвоении null" ничего не даст — нужно смотреть глубже в алгоритм и делать больше проверок/диагностик, чтобы null не вылезал, когда уже слишком поздно. Другими словами, non-null типы просто бесполезны!
Если вы поняли мою идею (или её ошибочность), отпишитесь — интересная тема.