Description Sebastian Zarnekow 2011-04-05 09:50:22 EDT

Usecases: Expected type in a for loop is either Iterable or an array. We cannot use MultiTypeReferences for this usecase as that would imply that the expected type is both an iterable and an array.

Other opportunities:
A string literal '123' could be either a String or a Number.
'c' could either be a String or a character.

IntegerLiteral 12345 could be Integer, Long, Short (but not byte since it is to big) as well as BigInteger or BigDecimal.

The type provider could return synonym type references for operations that return e.g. an array or a list. 

SynonymTypeReferences could have a primary type and a number of synonyms.