swift234

Don't overwrite a fully-annotated variable's type just because
its initializer failed to type-check.

This fixes a QoI regression that Dmitri pointed out.

Swift SVN r8443