Сверху вниз, слева направо. Если надо захватывать больше, можно использовать rec.
Дополнительные аннотации типов нужны для вызова методов.
почему он сам не сообразит то
Непонятно, что компилятор должен вывести. Конкретный тип? Базовый тип, если присутствует наследование? Или это дженерик с констрейнтом на интерфейс?
так тебе наоборот надо сделать
Обсуждают сегодня