Commit Graph

522 Commits

Author SHA1 Message Date
Anna Kozlova
b0a9de51c9 testdata to fix javac behaviour (1.8u40) 2015-02-05 10:27:32 +03:00
Anna Kozlova
27e575b967 overload resolution for exact method references: ensure param types are equal in case non-generic methods 2015-02-01 16:30:45 +03:00
Anna Kozlova
867a714293 overload resolution for explicitly typed lambda: poly wins over primitive 2015-02-01 16:07:03 +03:00
Anna Kozlova
dbdc890cd1 lambda expression isCongruent: ensure target function type has no type parameters 2015-02-01 12:54:19 +03:00
Anna Kozlova
47ae95a968 ArrayType:🆕 ensure type reifiable 2015-01-31 16:13:14 +03:00
Anna Kozlova
a6d8e976fa testdata for ClassType::<TypeArguments>new method references: ensure compilation error if ClassType is raw but type arguments are given 2015-01-31 16:13:13 +03:00
Anna Kozlova
82246db879 TypeName::Identifier method reference applicability when TypeName denotes interface 2015-01-31 16:13:13 +03:00
Anna Kozlova
e41b02e277 ignore type parameters (arguments) in non-generic method references 2015-01-31 16:13:12 +03:00
Anna Kozlova
8886622b5c method references: fix type to search (site substitution) for ReferenceType::Identifier references, where ReferenceType is raw (IDEA-135792) 2015-01-30 22:28:02 +03:00
Anna Kozlova
012e57d2ea lambda isValueCompatible check: ensure throws is not treated as normal completion (IDEA-135581) 2015-01-26 20:19:16 +03:00
Anna Kozlova
af7da7a8f4 incompatible parameter types in lambda expression message expanded (IDEA-134941) 2015-01-07 17:10:09 +01:00
Anna Kozlova
8ce9831489 bad return type in lambda expression: requited type added; range corrected (IDEA-134942) 2015-01-07 16:07:27 +01:00
Anna Kozlova
c11d64ac60 new inference: distinguish return type type parameters and current session inference variables (IDEA-135001) 2015-01-07 15:34:27 +01:00
Anna Kozlova
b57746c55e collect exceptions by call arguments (IDEA-134808) 2014-12-29 18:57:40 +01:00
Anna Kozlova
658607d9c2 new overload resolution: reject complete normally when last instruction is return (IDEA-134808) 2014-12-29 18:57:39 +01:00
Anna Kozlova
f99580f6a5 enable delegate for interfaces in 1.8 2014-12-23 19:32:29 +01:00
Anna Kozlova
0be4af00e0 new overload resolution: block can complete normally if the last statement could throw exception (IDEA-134103) 2014-12-17 20:51:47 +01:00
Anna Kozlova
7343c62b7e new inference: infer exceptions for inner lambda body calls (IDEA-134225) 2014-12-17 20:13:46 +01:00
Anna Kozlova
a026cc2dd1 new overload resolution: check only functional arguments in isFunctionalTypeMoreSpecific (IDEA-134328) 2014-12-17 20:13:42 +01:00
Anna Kozlova
1ed0901d4b new inference: reject equals bounds contradicting lower bounds 2014-12-17 09:57:48 +01:00
Anna Kozlova
482de672ef method references: site substitution for method references without receiver (IDEA-134261) 2014-12-12 20:57:02 +01:00
Anna Kozlova
145f701bc1 new overload resolution: integrate isPotentiallyCompatible in isApplicable checks 2014-11-26 17:42:30 +01:00
Anna Kozlova
68cc2ec0a2 method refs: mark as potentially incompatible expression based reference of non-static method with incorrect number of parameters; contradict spec (15.12.2.1) 2014-11-26 17:39:25 +01:00
Anna Kozlova
3f0ce40440 testdata for IDEA-127124 2014-11-25 19:23:29 +01:00
Anna Kozlova
897609bd68 new inference: avoid resolveGenericMethod on new expressions as diamond types are expanded and cached on class reference (IDEA-133297) 2014-11-25 13:36:23 +01:00
Anna Kozlova
fa29801a8a method refs: varargs methods should be checked for parameter numbers (IDEA-133173) 2014-11-20 11:49:09 +01:00
Anna Kozlova
05ff6e8a83 workaround for opened captures (IDEA-132717) 2014-11-12 19:37:59 +01:00
Anna Kozlova
983808535d testdata for IDEA-132725 2014-11-12 19:37:58 +01:00
Anna Kozlova
89d1df1dc0 redundant casts in lambda return expressions (IDEA-132723) 2014-11-12 13:13:33 +01:00
Anna Kozlova
7e141da4c2 method references: compare number of arguments for non-vararg applicability only (IDEA-132708) 2014-11-11 12:03:06 +01:00
Anna Kozlova
96bfd65ab3 intersection rules: flatten unbounded wildcard with everything (IDEA-132431) 2014-11-07 15:47:50 +01:00
Anna Kozlova
6aef1682d6 testdata IDEA-132560 2014-11-07 15:47:49 +01:00
Anna Kozlova
668ccc7dd0 new inference: site substitution from remembered properties (IDEA-132417) 2014-11-06 19:11:31 +01:00
Anna Kozlova
bba30278f9 method refs: fix variable initializing order (IDEA-132445) 2014-11-06 19:11:29 +01:00
Anna Kozlova
234fdbfc4f find functional expressions by method type parameter 2014-11-05 19:31:52 +01:00
Anna Kozlova
66cd10b00c new inference: unchecked conversion detection in case of inference variables (IDEA-122932) 2014-10-31 13:24:40 +01:00
Anna Kozlova
ddbaef9462 fix message for final locals used inside local/anonym classes in java 8 (IDEA-131949) 2014-10-29 18:05:52 +01:00
Anna Kozlova
f0fc85674e diamonds: constructor varargs (IDEA-131918) 2014-10-29 14:21:11 +01:00
Anna Kozlova
8f67ad587e "might not have been initialized" adjusted for lambdas inside anonymous (IDEA-130468) 2014-10-24 21:48:13 +02:00
Anna Kozlova
5136167d8b new inference: use site substitution inside one level of inference only so calls with different site substitutions are possible in one expression (IDEA-131723; IDEA-131562) 2014-10-24 18:36:20 +02:00
Anna Kozlova
247fbc358f testdata for IDEA-131700 2014-10-23 14:46:29 +02:00
Anna Kozlova
524c5a4c4d new inference: functional parameterization should proceed to non-wildcard parameterization with partly ready parameterization, new spec (IDEA-131417)
(cherry picked from commit e7cf17fa45740d7f233ce426d9d78a3580399d8e)
2014-10-17 21:03:20 +02:00
Anna Kozlova
b2a07e2eee lambda: stop at method if it's located inside lambda (IDEA-131087)
(cherry picked from commit 890ffa719208e467b1ba238d248dbbf102c71b76)
2014-10-13 19:33:05 +02:00
Anna Kozlova
edd271b71a testdata for IDEA-130920 2014-10-08 14:06:00 +02:00
Anna Kozlova
bcdb87573e new inference: do not cache control flow during conflict resolution (IDEA-130226) 2014-10-07 18:25:03 +02:00
Anna Kozlova
892fe777b0 testdata for IDEA-130547 2014-09-30 19:18:49 +02:00
Anna Kozlova
e6483ac10c testdata for IDEA-130549 2014-09-30 19:18:48 +02:00
Anna Kozlova
3f940f370f reference to static method from interface: prefer static import context if provided (IDEA-130136) 2014-09-30 15:47:29 +02:00
Anna Kozlova
30b12e3e25 new inference: same parametrization check tweaked (IDEA-130519) 2014-09-30 15:47:28 +02:00
Anna Kozlova
1df6fba2bb testdata for IDEA-130129 2014-09-29 16:09:18 +02:00