хзхз, из-за того что кто-то с тайпхинтами разобраться не может удалять целый null - чот как-то радикально
Например: взаимодействуем с библиотекой. Есть функция, которая возвращает объект. IDE принципиально не может понять, может там быть null или нет, если не разметить. И так как есть куча неразмеченного кода, выдавать предупреждение при отсутствии отметки нельзя — тонные false negative, программисты забьют их читать.
Вывод: IDE может лишь предупредить об опасных местах, но не может найти их все.