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

저도 궁금하여 찾아봤는데, 찾아본 내용 공유드립니다 ! dog, cat은 서로 다른 하위타입이지만, 컴파일러는 이들의 공통 상위 타입인 Animal로 추론합니다. 왜 이걸 허용했을까를 생각해봤는데,AnimalMethod에서 제공하는 static 메서드이고, 유틸성이 있고, 동물이라는 추상적인 클래스이기 때문에 동물(강아지, 고양이)들의 크기, 즉 종류와 상관 없이 둘의 크기를 비교할 때도 사용되어야 하니까 허용한 것이 아닌가 생각해보았습니다 ! 혹시 더 정확한 정보를 찾으시다면 공유 부탁드려요 ~~!