Добрый день.
Помогите, пожалуйста, разобраться. Почему в последней строке нет
ошибок?
По факту она ведь означает, что, вызывая функцию aFn с аргументом типа A, мы вызовем функцию bFn с агрументом типа A. Но функция bFn ожидает агрумент типа B. И выше мы убедились, что переменная типа A не может быть назначена в переменную типа B