Commit Graph

218 Commits

Author SHA1 Message Date
anna
693eddf5d8 new inference: testdata
(cherry picked from commit 6f0f160f905ae275a2eeaca58343a176df1a42c8)
2013-11-25 16:48:14 +01:00
anna
9ac34fc2ce new inference: highlight method refs with incompatible inferred bounds
(cherry picked from commit e1af6d1b69f93db6915d3c4f86eaee95389607d2)
2013-11-25 16:48:12 +01:00
anna
fc58e5e0af new inference: include lifting constraint when parent call is being investigated
(cherry picked from commit aaeafcdce1c8d49512cc1fece17afb3e1705492e)
2013-11-25 16:48:11 +01:00
anna
5f1db87624 new inference: avoid one type parameter inference
(cherry picked from commit f764e69e3f7e98e0c94e701706121069f2775586)
2013-11-25 16:48:09 +01:00
anna
3188589850 new inference: do not instantiate vars with upper bounds mix when incomplete substitutor is supposed
(cherry picked from commit ff73c519f10ec947b86832a0c4ce5d6ee9b9e4c3)
2013-11-25 16:48:06 +01:00
anna
80e8321a48 intersection types for PsiTypeVisitor; do not convert intersection type to class type even when no actual substitution is needed
(cherry picked from commit 4670ddf57981f596122082365e43587990c3a53e)
2013-11-25 16:48:05 +01:00
anna
d338bc76df lambda: break/continue inside lambda body checks
(cherry picked from commit a290c356e646bb8ad9c097664648ad9033adf2a8)
2013-11-25 16:48:04 +01:00
anna
f8e74f085c new inference: temp solution for inexact method refs
(cherry picked from commit e94cddb696cbcb3e3a8d8e4f62f8903b4bd71403)
2013-11-25 16:48:03 +01:00
anna
19852e61cd new inference: infer from thrown exceptions in lambda body
(cherry picked from commit 04056c01aa1eef1239ac88d48baec7ff109ef0df)
2013-11-25 16:48:02 +01:00
anna
709b6166be lambda: void-compatibility check for expression's lambda void type conditional
(cherry picked from commit 76bab4d85984e95279b0358b53ff85734c4589a5)
2013-11-25 16:48:01 +01:00
anna
a1bf37f805 new inference: lift type params from referenced method
(cherry picked from commit 057bd4d4d576711b77141b64987079ef8d59a583)
2013-11-25 16:48:01 +01:00
anna
12baf9a2bd new inference: accept all inexact refs during overload resolution
(cherry picked from commit c21ac7ada213c2de28b3e8e5aa15d3fde4490458)
2013-11-25 16:48:00 +01:00
anna
a6c82625be new inference: overload resolution: check return types when method refs are exact
(cherry picked from commit ccacf897e97a121f795a079e485249842c95c273)
2013-11-25 16:47:59 +01:00
anna
82fd892ec5 new inference: overload resolution: check SAM specific withing common specific check
(cherry picked from commit 2bbd45e57bc5df7ff2a5cae7acedc0d2428d9afe)
2013-11-25 16:47:58 +01:00
anna
e3197b6581 constructor refs: forbid raw constructor references with explicit new type args
(cherry picked from commit a127d801aa080f2efe3784edd5cca419dccfda2e)
2013-11-25 16:47:57 +01:00
anna
f66adc7985 new inference: refinement on generics array creation/forbid wildcards in ClassType qualifier
(cherry picked from commit 72a410e804b569893f0bad7739bdd9a7c1c270f1)
2013-11-25 16:47:56 +01:00
anna
d42efc06bb unchecked generics array creation for method references
(cherry picked from commit 742ea955d1a88c4ac8cb7727a9221bdf65038c11)
2013-11-25 16:47:55 +01:00
anna
e351956a4b lambda: void-compatibility check for expression's lambda refined
(cherry picked from commit c59e6beb8c42c48a46550b39725587d3aa8f560a)
2013-11-25 16:47:54 +01:00
anna
10439a10a0 new inference: reject methrefs with inconsistent number of parameters
(cherry picked from commit 9c41270192e140ed28067e2740333c6d3fa49bd2)
2013-11-25 16:47:52 +01:00
anna
73bf021d6c new inference: javac bug registration (JDK-8028503)
(cherry picked from commit 76727c790a9fcac64dce762d8d6fc674680d1905)
2013-11-25 16:47:49 +01:00
anna
d30bcb3984 new inference: accept unbounded wildcards
(cherry picked from commit ff37a13662a6d85d7890755130e6a696db00c4a6)
2013-11-25 16:47:47 +01:00
anna
b3d9ff9874 new inference: array creation notional method; testdata
(cherry picked from commit dc1b25b74db12a5282332b5bae1d10da1aed99e8)
2013-11-25 16:47:46 +01:00
anna
628e05bda7 new inference: isValueCompatible check during reduce (IDEA-116548)
(cherry picked from commit 3d028a86a23efeba68187c5a43d822c7aeb388f3)
2013-11-25 16:47:43 +01:00
anna
a6309f6c6d extend testdata for IDEA-93587
(cherry picked from commit d4939f7b93989a0e3387c225de335ef7bf19949f)
2013-11-25 16:47:42 +01:00
anna
6086b1725d testdata for IDEA-106670
(cherry picked from commit 78c98d762dd449ff86ea805179b51c2d2b4fc00f)
2013-11-25 16:47:41 +01:00
anna
b612209ab9 testdata for IDEA-116359
(cherry picked from commit bd1ca6826f3a5449c2a26a1ea3b471c21f4bc7d5)
2013-11-25 16:47:40 +01:00
anna
bd64f4044b testdata for IDEA-116252
(cherry picked from commit 263652d7e97e6caab5dce7fb95a37d14ff34de4b)
2013-11-25 16:47:39 +01:00
anna
481bc252f3 switch tests on new inference
(cherry picked from commit d2cbf3f2833104c3a0381059b0d6ef8ac0b3c94c)
2013-11-25 16:47:38 +01:00
anna
23432e3cd7 new inference: array constructor refs are always exact (IDEA-115725)
(cherry picked from commit 0f6538fc54bbee0aaf6cbab9884c0407937d4568)
2013-11-25 16:47:36 +01:00
anna
f7fd8525b9 lambda: catch exception by SAM method substitution (IDEA-116441)
(cherry picked from commit 0bce39590bdcc6e6a74c0dcedbb02add3333e685)
2013-11-25 16:47:34 +01:00
anna
06815172d7 testdata fixed 2013-11-11 10:43:19 +01:00
anna
915fb35af7 new overload resolution: testdata 2013-11-06 12:40:27 +01:00
anna
ae7e30edee java 8: forbid super in static methods 2013-11-05 12:56:04 +01:00
anna
fb98413e84 testdata fixed 2013-11-04 16:16:28 +01:00
anna
4a725b52b3 IDEA-115789 an interface inheriting a default method and an abstract method 2013-11-04 16:16:28 +01:00
anna
9ae4eced85 IDEA-115790 default methods cannot override Object methods 2013-11-04 16:16:27 +01:00
anna
a7316ca594 lambda: do not suggest to replace with lambda when refs to final fields exist in body (IDEA-111026); final initializer 2013-10-24 14:07:46 +02:00
anna
b33fa7fc25 effectively final: check flow at variable start (IDEA-114737) 2013-10-10 18:39:58 +02:00
anna
69dbc89461 inference: do not check return type during inference; separate highlighting check 2013-10-08 17:13:33 +02:00
anna
f5257087e9 new inference: overload resolution for SAM return type for implicit lambda should be ignored 2013-09-25 16:12:44 +02:00
Anna Kozlova
e78ab513a5 lambda: check formal params for equality, eliminate wildcards during inference according to 15.27.3 2013-09-23 19:50:41 +04:00
Anna Kozlova
f415702127 new inference: default constructor as poly expression argument 2013-09-20 20:36:37 +04:00
Anna Kozlova
4cae15713b more specific: lambda extended initial fix (IDEA-113357) 2013-09-09 21:42:47 +04:00
Anna Kozlova
0622404265 method refs: ambiguity (IDEA-113078) 2013-09-04 13:46:45 +04:00
Anna Kozlova
75847497e5 method refs: accept 2 phase acceptance (static and receiver based), raise 'staticAccess' errors at highlighting level 2013-08-30 13:10:42 +04:00
Anna Kozlova
04a76c3faf IDEA-112555 Bad code is green with method references on instance 2013-08-26 18:11:00 +04:00
Anna Kozlova
183c7cd0b8 fix testdata 2013-08-20 15:15:13 +04:00
Anna Kozlova
6e9b26f3b1 method refs IDEA-112323 2013-08-20 13:32:04 +04:00
Anna Kozlova
e006534d08 moreSpecific cleanup 2013-08-15 17:38:03 +04:00
Roman Shevchenko
cfc55bcb41 java: single underscore variables highlighting for Java 8 2013-08-07 15:07:21 +02:00