타입 매개변수 추론 질문 드립니다.

그럼 해당 경우에는 Animal 타입으로 추론되는건가요 ?