`final` for fields is not currently implemented with the PR. I have suspicion that it is unreasonable to implement it. The problem is that fields can overlap each other in messy ways (i.e. unions of structs). Trying to tease out finality in that soup may be not worth the bother.