それが無かった場合と同じ結果にならないといけない

2:43 AM

と考えると

2:43 AM

where Element : Comparable の時点で、本当はFloatであるっていう意味情報は

2:43 AM

Swiftレベルでは失われるから。

2:44 AM

最適化してはじめてわかる「今はFloat」ってことに基づいて動作が変わっちゃうと