さっきのケースなら型については T= Catはもう解決してるから

1:52 AM

Cat is Animal Protocol のスコープローカルな upcast なので、↑の記事で書かれてるupcast stripping で同じようにできそうなんよな (edited)