Здравствуйте. У нас есть механизм, который отслеживает подобные ‘return’. По данному фрагменту трудно понять, почему анализатор выдал предупреждение. Например, если написать вот так, то сообщение выдано не будет:
Данная статья относится только к C#. Если я это не смог донести, то прошу меня простить.
То что сама идея хорошая я и не спорил:
Сама задумка добавить Nullable Reference (далее — NR) типы мне кажется интересной, так как проблема, связанная с разыменованием нулевых ссылок, актуальна и по сей день.
Я согласен с вами, но не вижу особых противоречий между нашими выводами. Однако дополнение правильное, спасибо!
Хочу задать вопрос. Вы говорите, что в 95% случаев можно полагаться на гарантии. При этом понятно же это стало уже постфактум. То есть пришлось посмотреть все 100% и уже после понять, что большая часть была правильна. Выходит, что фича приятная, но не более того. Или как Вы понимаете, что в 5% случаев плохие?