struct にすれば > inoutじゃない値型は全部copyなので実用上constになる気がします < このとおり

8:12 AM

あとは class なら親クラスを readonly な type にしてサブクラスで mutating なメソッドを一通り実装すれば・・・

8:12 AM

引数で渡す class をその method 内で変更しないことを示せる

これじたいはできるよ。