 Anna Kozlova
|
6bec6fdf0f
|
testdata IDEA-131282
|
2015-11-20 21:47:13 +01:00 |
|
|
Anna Kozlova
|
61f120b30e
|
new overload resolution: first check that collected methods are potentially compatible with args; for generic methods without specified type arguments this already means that they are applicable; for non generic methods (or raw method calls) expressions should be compatible with parameter types (formal parameter types = actual types as substitutor is known) (IDEA-147798)
|
2015-11-20 18:22:02 +01:00 |
|
|
Anna Kozlova
|
b4396c8f98
|
new inference: register incompatible message if inference fails (IDEA-131882; to be extended); filter out candidates if inference had failed for them
|
2015-11-19 20:43:59 +01:00 |
|
|
Anna Kozlova
|
d32e6ec080
|
new inference: start inference from top to bottom; ensure getTargetType doesn't perform any inference; cache intermediate results
|
2015-11-19 10:47:21 +01:00 |
|
 Alexey Kudravtsev
|
9f98ff47c3
|
moved JSP-dependent test back to ultimate
|
2015-11-16 16:45:17 +03:00 |
|
|
Alexey Kudravtsev
|
70290391f9
|
moved to community
|
2015-11-16 13:31:16 +03:00 |
|
|
Anna Kozlova
|
fcf8e6f373
|
move inference error from element to method candidate to avoid overload method pollution; show inference error in the editor if applicability check was successful; register inference error if variable has incompatible upper bounds (IDEA-145106)
|
2015-11-16 10:05:50 +01:00 |
|
|
Anna Kozlova
|
64ff5ff961
|
push condition in call: fix different qualifiers (IDEA-147901)
|
2015-11-13 16:07:17 +01:00 |
|
|
Anna Kozlova
|
cbbd0e4456
|
detect array initializer type based on short variable array notation (IDEA-147881)
|
2015-11-13 16:07:17 +01:00 |
|
|
Anna Kozlova
|
e1f9d33a32
|
testdata for IDEA-147873
|
2015-11-13 16:07:17 +01:00 |
|
 Dmitry Batkovich
|
6afbed569a
|
quick fix which adds exception from field initializer to constructor signature (IDEA-142284)
|
2015-11-13 15:59:53 +03:00 |
|
|
Anna Kozlova
|
03d4334430
|
eliminate wildcards elimination in flattening intersection types (IDEA-143194); fully follow specification in determining target type - javac would be fixed (JDK-8142876), eclipse already obeys the spec
|
2015-11-12 20:14:15 +01:00 |
|
|
Anna Kozlova
|
44f26da2bc
|
type arguments distinct checker: do not distinguish wildcards with array bounds from arrays with corresponding bounds (IDEA-134944)
|
2015-11-12 20:14:15 +01:00 |
|
|
Anna Kozlova
|
e484d54fb8
|
missed usages of method references (IDEA-147828)
|
2015-11-12 12:36:59 +01:00 |
|
|
Anna Kozlova
|
823cd15864
|
static method import: collect all overloaded methods to filter them after finish of stub processing (IDEA-147745)
|
2015-11-11 17:35:32 +01:00 |
|
|
Anna Kozlova
|
59b55c3c00
|
new inference, incorporation step: ignore type arguments in bounds, retrieve upper bounds of captured wildcards (IDEA-145244)
|
2015-11-11 17:35:32 +01:00 |
|
|
Anna Kozlova
|
a45937536a
|
unchecked warnings: check inferred type against bounds for java > 1.8 (IDEA-147529)
|
2015-11-10 18:45:36 +01:00 |
|
|
Anna Kozlova
|
99338ada50
|
incorporation: deal with PsiType.NULL (IDEA-147529)
|
2015-11-10 18:45:36 +01:00 |
|
|
Anna Kozlova
|
c29f92472e
|
inferred type check for raw constraints (IDEA-147529)
|
2015-11-10 18:45:36 +01:00 |
|
|
Anna Kozlova
|
c798f3ab6b
|
inference variables: ensure variable is not mixed with type parameter for recursive calls (IDEA-147639)
|
2015-11-09 19:08:30 +01:00 |
|
|
Anna Kozlova
|
289aea179d
|
isPertinentToApplicability: check class type parameters if constructor is called with diamonds (IDEA-147619)
|
2015-11-09 19:08:30 +01:00 |
|
|
Anna Kozlova
|
a73d1238ff
|
testdata for IDEA-147511
|
2015-11-06 16:21:29 +01:00 |
|
|
Dmitry Batkovich
|
e8805cb2cc
|
"initialize variable" & "initialize in constructor" suggests default constructors (with inheritor's if collection) (IDEA-145431)
|
2015-11-06 15:56:50 +03:00 |
|
|
Anna Kozlova
|
6e853bf571
|
new inference: stop at first common supertypes pair during incorporation of upper bounds (IDEA-147393)
|
2015-11-05 15:24:18 +01:00 |
|
|
Anna Kozlova
|
94e3eb2c04
|
compound filter from filters chain (IDEA-146147)
|
2015-11-04 15:52:15 +01:00 |
|
|
Anna Kozlova
|
ae4b083aec
|
split compound filter into filters chain (IDEA-146147)
|
2015-11-04 15:52:15 +01:00 |
|
|
Anna Kozlova
|
2d21b7777e
|
method reference: don't start containing class parameter type inference for receiver-reference; corresponding substitutor should be already known (IDEA-146604; IDEA-147223)
|
2015-11-03 17:10:58 +01:00 |
|
|
Anna Kozlova
|
d7f768366b
|
fix testdata
|
2015-11-02 15:29:42 +01:00 |
|
|
Anna Kozlova
|
41916174b6
|
return Object if denotable type is needed for functional expression (e.g. lambda expression) type
EA-75552 - IOE: PsiElementFactoryImpl.createField
|
2015-11-02 15:29:42 +01:00 |
|
|
Anna Kozlova
|
62cc281a3d
|
disable lambda -> methref for qualified new expressions (IDEA-147054)
|
2015-10-29 19:40:11 +01:00 |
|
|
Anna Kozlova
|
543e5f3cdf
|
remove this qualifier on anonym -> method ref fix
|
2015-10-28 19:45:32 +01:00 |
|
|
Dmitry Batkovich
|
713a1289c7
|
IDEA-146770 Suggest Math.toIntExact to convert long to int
|
2015-10-28 19:55:14 +03:00 |
|
|
Anna Kozlova
|
b12b47c2ea
|
ignore most specific check if parameter count were not matched at all
EA-75076 - AIOOBE: InferenceSession.isMoreSpecific
|
2015-10-28 16:05:07 +01:00 |
|
|
Anna Kozlova
|
5d98d49ecf
|
ensure denotable types
|
2015-10-28 16:05:05 +01:00 |
|
|
Anna Kozlova
|
1420ac66b8
|
testdata for EA-53634 - assert: PsiWildcardType.createSuper
|
2015-10-28 16:05:03 +01:00 |
|
|
Anna Kozlova
|
e27c654b20
|
silly assignment: ignore non-trivial casts involving primitives (IDEA-146830)
|
2015-10-27 19:35:20 +01:00 |
|
|
Anna Kozlova
|
0deaf6d6a5
|
recursive substitutors: additional constraints substitution should not repeat already performed substitution with site substitutor (IDEA-146841)
|
2015-10-26 18:56:03 +01:00 |
|
|
Anna Kozlova
|
47c3c2bbc1
|
null types (IDEA-146740)
|
2015-10-26 13:50:02 +01:00 |
|
|
Anna Kozlova
|
ec5f440e09
|
subtyping constraint: accept array types if left type is assignable from array, e.g Serializable (IDEA-146592)
|
2015-10-20 20:58:49 +02:00 |
|
 peter
|
5d31a4c147
|
IDEA-146512 Code completion adds unnecessary type parameter
|
2015-10-17 12:36:37 +02:00 |
|
|
Anna Kozlova
|
e32dfdfa8a
|
UnsupportedOperationException
|
2015-10-15 15:02:50 +02:00 |
|
|
Anna Kozlova
|
4916734a24
|
reifiable type check fixed for local classes; instanceof check to use the same algorithm (IDEA-146352; IDEA-146351)
|
2015-10-14 17:05:36 +02:00 |
|
|
Anna Kozlova
|
f29517700f
|
highlight type parameter extends list errors: check once for all refs in refList not to repeat ourselves
|
2015-10-14 11:12:30 +02:00 |
|
|
Anna Kozlova
|
249d8ca4ba
|
change signature from usage: ensure not substitute parameter type from call site (IDEA-146284)
|
2015-10-12 20:15:41 +02:00 |
|
|
Anna Kozlova
|
d13663483d
|
overload resolution: choose one of overload equivalent abstract methods arbitrarily (IDEA-146261)
|
2015-10-12 20:15:40 +02:00 |
|
|
Anna Kozlova
|
773e192f1a
|
recursive getLambdaParameterType problem: don't check nested lambda body for unchecked exceptions, that's impossible anyway (IDEA-146161)
|
2015-10-09 17:17:09 +02:00 |
|
|
Anna Kozlova
|
c000624704
|
overload resolution: treat default methods as abstract; don't include static interface methods in conflict resolution when target expression type does not correspond to the containing interface (IDEA-146055)
|
2015-10-07 19:36:05 +02:00 |
|
|
Anna Kozlova
|
2b4d30bc16
|
diamonds: additional diagnostics for cases when constructor is unresolved (IDEA-146028)
|
2015-10-06 17:36:58 +02:00 |
|
|
Anna Kozlova
|
5ae9332d1a
|
allow compile-time constants to be used from static field initializers (IDEA-142243)
|
2015-10-06 17:36:57 +02:00 |
|
 Roman Shevchenko
|
78acdfef1f
|
[java] numeric literal underscores should not affect highlighting (IDEA-145942)
|
2015-10-05 12:55:06 +02:00 |
|