その定義をちょっと変えようとしているんですかね？保証も準拠も同じな気がしますが https://github.com/apple/swift/pull/68818 (edited)

WIP