The thing is that in example1 case there is an implicit conversion from Cat to Animal, while in example2 that conversion has to be explicit.
I would expect the implicit conversion happening in both cases. Probably there is a rationale for that no happening.
