読者です 読者をやめる 読者になる 読者になる

Permit where clauses to constrain associated types

原文 swift-evolution/0142-associated-types-constraints.md at e14a99ffce9685a0dfe6e397916033ec3be4f6c6 · apple/swift-evolution · GitHub

where句で関連型の制約を行う

where句を導入することによって、関連型にジェネリクス型パラメータと同じだけの表現力をお持たせるという提案。 関連型は今までは、単純な制約をかける程度しかできなかったが、where句を使えるようにすることで、表現力を上げることができる。