Verified that variable definitions can automatically initialize their type to the initial expression's type.