 Anna Kozlova
|
865a535fa7
|
new inference: wildcard parameterization inference
|
2014-02-06 19:34:13 +01:00 |
|
|
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 |
|