structのletを許容できる状況は、他のプロパティから依存して決まるプロパティだけだと思ってます

11:48 PM

プロパティ一個だけ書き換えた時にその型が持つ制約をやぶるのをletプロパティで防ぐ。 (edited)

11:48 PM

それ以外は、型全体をletで使えば変更できない版として使えるので元定義はvarだけでオッケー