I definitely concur with @kornel. The source of the problem is the struct syntax, not type ascription. Now I would like more details in the pre-rfc: is the struct field initialization (as I believe) the only possible ambiguity? Or are there other subtle cases?