7bdb789b45
new inference:
...
reject inference if lower and equals bounds do not agree;
-> inference variable should fill extends list types with it's upper bounds as they are correctly substituted with session's inference variables, otherwise incorporation up-up rule could get refs to initial type parameter instead of correct inference variable
2015-02-19 18:07:54 +01:00
1ed0901d4b
new inference: reject equals bounds contradicting lower bounds
2014-12-17 09:57:48 +01:00
f217ed47c4
new inference: reject contradicting equals bounds
2014-12-17 09:57:47 +01:00
9845ef2fd8
new inference: capture nested call case fixed (~Collections)
2014-03-21 13:16:46 +01:00
d8b3e5c7fd
new inference: captures should stay closed inside nested calls
2014-02-28 20:07:08 +01:00
bd681beb26
new inference: 18.5.2 adjustments
2014-02-19 09:46:15 +01:00
c7b78f76a2
IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface
2014-02-18 13:55:52 +04:00
021c0c891e
new inference: stop inference if false was inferred
2014-02-12 09:46:33 +01:00
481bc252f3
switch tests on new inference
...
(cherry picked from commit d2cbf3f2833104c3a0381059b0d6ef8ac0b3c94c)
2013-11-25 16:47:38 +01:00
935cdbaf3b
new inference: initial tests
2013-09-20 12:11:57 +04:00
Anna Kozlova
Alexey Kudravtsev