https://bugs.swift.org/plugins/servlet/mobile#issue/SR-7083 今年の try! Swift workshop でこれを直そうとしたんですが同じ結論に至りました。ただ、Joe Groff 氏に説明するのが怖くて放置してますw subclass でオーバーライドした場合、 subclass から superclass の実装が lazy に見えるべきか、それを隠蔽すべきかがちょっと面白い問題です。現状維持で隠蔽すべきかな