Тип U согласован с типом T
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
если типы не являются универсально порожденными
для универсально порожденных классов B [Y] будет согласован с A [X], если B является потомком A, а Y – потомком X(Верный ответ)
только если базовый класс для U является потомком базового класса для T(Верный ответ)
только если совпадают фактические параметры при универсальном порождении типов