3 Commits

Author	SHA1	Message	Date
Anna Kozlova	3a669178f5	do not open captured wildcards on substitution; don't capture wildcards on getExtendsTypes for type parameters and their consequences	2015-12-02 10:17:29 +01:00
Anna Kozlova	49dfdded70	new inference: don't push resolved vars in case of failed substitution	2015-11-24 10:30:21 +01:00
Anna Kozlova	f217ed47c4	new inference: reject contradicting equals bounds	2014-12-17 09:57:47 +01:00