My current answer, as I told you yesterday, is: it seems complicate to check that, atm, so I would leave it that way for now. I "trust" scalac not to make us emit assigns to immutable values other than the ones that are legal.

Truly checking it would be an improvement, but I do not consider the lack of doing so to be missing.