This intention changes the type of a variable to the type of its initializer if that is more specific.