There are expected changes to how closedness works in a number of cases and issues.
Disallow non-hidden fields in closed structs
Currently, one can introduce a new definition into a closed struct. The proposal would eliminate this.
The follow should result in an error.
#bar is both an
int and a