Изменения в новых версиях
Заведомо ненулевые типы
Подчёркивание вместо аргумента типа
Вывод типа в сборщиках
Возвращение min и max
Совпадение в заданной позиции
Требование явного согласия
Глубокая рекурсия без переполнения стека
Делегирование значению класса-значения