Invoker<A: Animal> みたいな型があって

1:54 AM

そのプロパティが let animal: A で、その中の関数でanimal is Catをスペシャライズ出来るのか?っていうのが

1:54 AM

まだわかってない