Structs' field-level mutability control at instantiation (not at definition)

language design
2

Let's say I use this feature to make a Vec whose len field is now always read-only. Do I need to use Vec<T> { len, ... } everywhere?