 Anna Kozlova
|
b55c83742b
|
new inference: processing of compound bounds
|
2014-03-27 20:54:27 +01:00 |
|
|
Anna Kozlova
|
e55a20cc24
|
raw substitutor when erasure happened during inference
|
2014-03-27 20:54:26 +01:00 |
|
|
Anna Kozlova
|
40424a1615
|
wildcard substitution partly reverted (IDEA-122700)
|
2014-03-24 20:22:26 +01:00 |
|
|
Anna Kozlova
|
9845ef2fd8
|
new inference: capture nested call case fixed (~Collections)
|
2014-03-21 13:16:46 +01:00 |
|
|
Anna Kozlova
|
4686315880
|
A class may not at the same time be a subtype of two interface types which are different parameterizations of the same generic interface(IDEA-122475); revert workarounds for javac 6 bug
|
2014-03-20 20:05:27 +01:00 |
|
|
Anna Kozlova
|
e6547e3991
|
poly conditional expression type = target type (IDEA-122401)
|
2014-03-19 19:32:35 +01:00 |
|
|
Anna Kozlova
|
10760d9bbf
|
new inference: process varargs as separate method candidate/separate phase
(cherry picked from commit fdd6f66268d29bb996a103f69180851b92947d21)
|
2014-03-12 10:15:03 +01:00 |
|
|
Anna Kozlova
|
95977a086c
|
new inference: cleanup
|
2014-03-05 16:17:00 +01:00 |
|
|
Anna Kozlova
|
d8b3e5c7fd
|
new inference: captures should stay closed inside nested calls
|
2014-02-28 20:07:08 +01:00 |
|
|
Anna Kozlova
|
1b0e87f99e
|
java 8: allow to cast to intersection types
|
2014-02-19 09:46:17 +01:00 |
|
|
Anna Kozlova
|
bd681beb26
|
new inference: 18.5.2 adjustments
|
2014-02-19 09:46:15 +01:00 |
|
|
Anna Kozlova
|
61039804a9
|
bound promotion for super wildcard (? super A (bound extends A) == A)
|
2014-02-19 09:46:14 +01:00 |
|
|
Anna Kozlova
|
19ba9d8c8d
|
new inference: resolve
|
2014-02-19 09:46:05 +01:00 |
|
 Alexey Kudravtsev
|
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 |
|
|
Anna Kozlova
|
021c0c891e
|
new inference: stop inference if false was inferred
|
2014-02-12 09:46:33 +01:00 |
|
|
Anna Kozlova
|
b5e1b382c8
|
new inference: incorporation step: substitute equal bounds
|
2014-02-12 09:46:32 +01:00 |
|
|
Anna Kozlova
|
b9ef7b60c7
|
new inference: subtyping/equality constraints interoperability
|
2014-02-11 09:39:59 +01:00 |
|
|
Alexey Kudravtsev
|
ad661d92e4
|
correct level in highlighting:
highlight element X only when visiting X or its ascendant
|
2014-02-10 20:03:58 +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
|
5a9c00a259
|
type compatibility constrain: unchecked conversion step
|
2014-01-31 21:41:15 +04:00 |
|
|
anna
|
b8c1c38788
|
new inference: raise a conflict for 2 captured wildcards as equality constraints
(cherry picked from commit 52bf5c35f05483ed957af17eb80b1b70cd3ed1c9)
|
2013-11-25 16:47:50 +01:00 |
|
|
anna
|
481bc252f3
|
switch tests on new inference
(cherry picked from commit d2cbf3f2833104c3a0381059b0d6ef8ac0b3c94c)
|
2013-11-25 16:47:38 +01:00 |
|
|
anna
|
1f5e19ea8f
|
inference testdata fixed
(cherry picked from commit 684b8905b9b3be10200c855af7b54d543b128f2b)
|
2013-11-25 16:47:20 +01:00 |
|
|
anna
|
4496371ca3
|
testdata
|
2013-11-12 22:38:06 +01:00 |
|
|
anna
|
a902c4ee87
|
testdata fixed
|
2013-11-08 11:06:57 +01:00 |
|
|
anna
|
5bd8b62070
|
fix to switch intersection types order in casts when one of the last types is not an interface
|
2013-10-31 16:35:39 +01:00 |
|
|
anna
|
9286cb4a28
|
testdata fixed
|
2013-10-30 17:46:35 +01:00 |
|
|
anna
|
417e906b18
|
test data fixed
|
2013-10-02 19:50:13 +02:00 |
|
|
anna
|
e6ea7bc88c
|
accept type arguments on raw types for > 1.6 javac
|
2013-10-01 21:42:31 +02:00 |
|
|
anna
|
2ea47e35b1
|
new inference: move test
|
2013-09-26 19:16:12 +02:00 |
|
|
Anna Kozlova
|
ee56497e3d
|
new inference: symmetric variable bounds
|
2013-09-20 20:36:36 +04:00 |
|
|
Anna Kozlova
|
4a46b24bcb
|
new inference: init inter call inference
|
2013-09-20 20:36:35 +04:00 |
|
|
Anna Kozlova
|
935cdbaf3b
|
new inference: initial tests
|
2013-09-20 12:11:57 +04:00 |
|