[Checkers] Question about resolving type variables

[Mahmood Ali]

Hi guys,

Currently, type variables are inferred from the actual arguments  
passed if possible.  Unfortunately, this may lead to unexpected  
results, namely violating backward compatibility.  Consider:
	List<String> lst = Arrays.asList("1", "m", "n");

Currently, this will issue a type compatibility error, as the return  
type of 'Arrays.asList(...)' is List<@Interned String> which is not a  
subtype of List<String>.

How do you we should handle this case?

- Mahmood