Нет, по-моему, но не ничто не мешает сделать красиво
Нет, компилятор не считает себя умнее программиста. Если программист явно задал нулябельный тип, значит ему это зачем-то нужно. Кстати, зачем?
Нет, не бага. Вы явно указали нуллабельный тип у val. Явные декларации типов приоритетнее того, что вывел компилятор, поэтому он для этого val не проводит выведение типов, а просто проверяет тип слева на совместимость с типом, выведенным для выражения справа.
Обсуждают сегодня