いや、宣言があるのはMutatingCollectionのprotocol extensionだから、それ自体は余計ではない

1:04 AM

nonmutatingな実装を一部の型は自前で定義をもたないといけないって話