as one case where a variable had been used for two different purposes (which also required different types).