現状だと UnsafeMutablePointer とかで内部可変性を実装しちゃうと所有権がチェックされないので，それだと排他アクセスが保証できないから，結局 "所有権チェックはできるけれど UnsafeMutablePointer みたいに通常の制約を回避できる何か" は必要になっちゃいますけどね．