Isn't this covered by IDEs, which warn you when switching the type?