Yes, in fact it does in main.
I was concise in the original description as to not go too much into the typing aspects, but there are cases where it is ambiguous and we cannot, I gave one example here: Changes to the struct update syntax - #35 by josevalim
Good point. The migration would definitely require some care in certain cases such as the one you presented.






















