koher

クラスの継承は許すけどプロトコルの適合は許さないというのは、すでにサブタイピングとして破綻してると思いますけどね〜。 @swift-5.5.3 class Animal {} class Cat: Animal {} protocol P { func animal() -> Animal } struct S { func animal() -> Cat { Cat() } }

no output