koher

conformできないでsubtypeと呼べるのかなぁ。単なる暗黙の型変換と考えるのが良いのか。

昔から気になるポイントですね　一貫させた方がわかりやすそうだけど意図せずconformしてしまうのを避けたいのかなどこかで仕様の意図を見たような気もするけど覚えてない (edited)