これは返り値に関しては狭まってないけど、原則はそうなるという理解

6:28 AM

元々のやつも同じようになると期待した。

6:28 AM

extension where の影響でより厳しいgeneric signatureを持つほうが勝つはず・・・