7 Commits

Author	SHA1	Message	Date
Anna Kozlova	ef15e60ccf	new inference: lambda compatibility: ground type constraint added	2014-02-03 19:35:45 +04:00
Anna Kozlova	89d2ebc500	invocation type inference: when unchecked conversion was performed - treat its results in return value checks as they were in bounds	2014-01-31 22:16:02 +04:00
Anna Kozlova	be84252e83	type equality constraint: reject type/wildcard pairs; subtyping constraint: become eq constraint for types	2014-01-31 21:41:19 +04:00
Anna Kozlova	f26b80359a	type compatibility constrain: unchecked conversion: return type is inference variable case	2014-01-31 21:41:17 +04:00
Anna Kozlova	5a9c00a259	type compatibility constrain: unchecked conversion step	2014-01-31 21:41:15 +04:00
Anna Kozlova	af8095f8b0	type compatibility constrain: boxing is not completeness-preserving: move treatment to return constraint	2014-01-31 21:41:14 +04:00
Anna Kozlova	4444fc1126	type equality constraint: accept unbounded/extends wildcards pair; reject unbounded/super	2014-01-31 21:41:13 +04:00