一般的なメソッドではSelfはこの手の制限をちゃんと判定していると思います。

9:48 AM

ついでにいうとstatic methodでも。

9:49 AM

サブタイプでなくなることもにないとおもう、ある型Aのインスタンスがある時、型Aのinitやstaticmethodは、Aのインスタンスのサブタイプ互換性とは関係ないはず

9:49 AM

型自体の static method や init を考慮したメタタイプ？同士のサブタイプ関係の話にはなってくると思うけど

9:50 AM

コンパイラ側の議論でも型的におかしいことはわかっているんだけど

9:50 AM

現状放置されているのは

9:50 AM

ObjectiveCのクラスクラスターパターンを動かすためにこれを悪用していて

9:50 AM

外すと互換性がなくなるうんぬんで

9:51 AM

機能を整理しないといけない (factory init などのアトリビュートを追加するとか）