若干話は逸れますが、これ、TypeScriptみたいにリテラル型があれば、
var であることと不正な値を代入されないことを両立できそうですね。Swiftは ExpressibleBy*Literal があるからリテラルの型が定まらなくてダメですが。 それなんとなくわかります。これ書いてるときにTypeScriptだったら。。。って思ったこと数回ありました。