てっきりバイト列のチェックは走ってて、そのときにカウントだけは保持してるかなと思ってました。

6:27 AM

RandomAccessCollection って subscript によるランダムアクセスが O(1) なんじゃなくて（当然これも満たされるけど）、インデックス間の任意個数分の移動が O(1) ってややこしいな・・・。

6:28 AM

Collection の subscript が O(1) は保証されてるんだっけ・・・。 String は O(1) として。