Commit Graph

309 Commits

Author SHA1 Message Date
Anna Kozlova b55527aba3 testdata for IDEA-118965 2014-03-03 20:20:56 +01:00
Anna Kozlova eb3695fffc new inference: non wildcard parametrization: reject primitive bounds 2014-03-03 13:43:47 +01:00
Anna Kozlova ab2348a911 new inference: diamond in lambda return workaround 2014-03-03 13:43:46 +01:00
Anna Kozlova d8b3e5c7fd new inference: captures should stay closed inside nested calls 2014-02-28 20:07:08 +01:00
Anna Kozlova e683dc8fc1 new inference: wildcard parametrization for lambda with formal params: assignability check for complete parametrization only 2014-02-28 20:07:07 +01:00
Anna Kozlova a047666d57 new inference: non wildcard parametrization against the spec 2014-02-28 16:13:52 +01:00
Anna Kozlova cf066deca7 default methods: do not warn about protected methods from Object 2014-02-28 09:59:35 +01:00
Anna Kozlova e7cb908c95 new inference: method refs: apply reference rules first 2014-02-27 21:02:57 +01:00
Anna Kozlova 66a8dedb8c new inference: method refs: accept qualifier substitutor when nothing more could be inferred 2014-02-27 18:32:43 +01:00
Anna Kozlova b31b23cd0b new inference: temp solution to exclude inference results from nested call of the same method on the outer level 2014-02-27 18:32:41 +01:00
Anna Kozlova 5dd7e0622c new inference: support for nested same method calls 2014-02-27 18:32:40 +01:00
Bas Leijdekkers 7b58b81761 IDEA-121215 (Java 1.8: "Interface may be annotated with @FunctionalInterface" inspection should not report @interfaces) 2014-02-26 21:01:13 +01:00
Anna Kozlova 6ded813afe new inference: most specifics, varargs case 2014-02-25 14:17:44 +01:00
Anna Kozlova 89aefc86f1 new inference: non-wildcard parameterization 2014-02-25 14:17:43 +01:00
Anna Kozlova 7a70428d04 lambda: accept ellipsis parameter when array expected (IDEA-117124) 2014-02-24 18:59:47 +01:00
Anna Kozlova e0ce9deea3 testdata 2014-02-24 18:59:43 +01:00
Anna Kozlova f1b256f416 forbid lambda in conditional inside cast context 2014-02-24 18:59:42 +01:00
Anna Kozlova 232f8bd465 new inference: strict subtyping: skip raw types 2014-02-24 18:59:41 +01:00
Anna Kozlova 828cb5a1a2 new inference: erase return type if unchecked conversion was performed 2014-02-24 18:59:40 +01:00
Anna Kozlova 0f39a4ca18 method refs: restore error on invalid array creation 2014-02-21 21:47:03 +01:00
Anna Kozlova b587af7151 exact method refs most specific: void compatibility 2014-02-21 21:47:01 +01:00
Anna Kozlova 2f80e7d9c0 new inference: reject partial computation 2014-02-21 18:55:54 +01:00
Anna Kozlova 948ad3e6d4 new inference: ensure type parameters are not modified during ground type evaluation 2014-02-21 12:42:23 +01:00
Anna Kozlova 6a38fbafaf new inference: avoid current type calculation during conflict resolution for target type detection (IDEA-121052) 2014-02-21 12:42:22 +01:00
Anna Kozlova 964fcf5994 java 8: final and default/static in interfaces 2014-02-20 22:40:18 +01:00
Anna Kozlova d2c3b4baef more specific inference: do not compare functional types if both methods were generic 2014-02-20 22:40:17 +01:00
Anna Kozlova e42ff74cc5 testdata for IDEA-120992 2014-02-20 22:40:16 +01:00
Anna Kozlova 217a1fd92f new inference: address anonymous classes (IDEA-121063) 2014-02-20 22:40:15 +01:00
Anna Kozlova 0f023fa5ab testdata for IDEA-121055 2014-02-20 22:40:14 +01:00
Anna Kozlova a4deb4da3d new inference: isAcceptable for lambda 2014-02-20 20:27:40 +01:00
Anna Kozlova de7f053c42 new inference: do not accept varargs when array is passed there 2014-02-20 20:27:39 +01:00
Anna Kozlova 9fc4b68c25 new inference: take into account site substitutors during additional constraints gathering 2014-02-20 20:27:38 +01:00
Anna Kozlova b11d66e0f1 new inference: method refs: do not include containing class type params in inference 2014-02-19 21:00:44 +01:00
Anna Kozlova 2a16fd1641 new inference: lambda functional type detection 2014-02-19 21:00:42 +01:00
Anna Kozlova 3093e7e63f testdata fixed 2014-02-19 21:00:41 +01:00
Anna Kozlova 54bfa05e5e new inference: lift also unknown vars (IDEA-117530) 2014-02-19 09:46:22 +01:00
Anna Kozlova bd681beb26 new inference: 18.5.2 adjustments 2014-02-19 09:46:15 +01:00
Anna Kozlova 15740a3cff new inference: cls copy replacement 2014-02-19 09:46:10 +01:00
Anna Kozlova 19ba9d8c8d new inference: resolve 2014-02-19 09:46:05 +01:00
Anna Kozlova 694432f156 new inference: capture conversions in return types initial; variable dependencies 2014-02-19 09:46:04 +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 31aba54296 new inference: choosing the most specific method inference 2014-02-13 16:41:20 +01:00
Anna Kozlova b16df9509f new inference: lift type parameters; stop inference after false appears in bounds 2014-02-12 12:55:47 +01:00
Anna Kozlova 021c0c891e new inference: stop inference if false was inferred 2014-02-12 09:46:33 +01:00
Anna Kozlova c99aa93112 method reference: ref qualified isExact fixed (IDEA-120370) 2014-02-11 18:35:49 +01:00
Anna Kozlova 9466bd9bde new inference: method refs: potentially compatible condition 2014-02-11 14:20:50 +01:00
Anna Kozlova 0072e05c02 testdata fixed 2014-02-11 09:54:31 +01:00
Anna Kozlova fd00ca6f91 new inference: method refs overload resolution: filter static problems for ReferenceType refs only 2014-02-11 09:40:05 +01:00
Anna Kozlova 2b5764d82a new inference: method references: process varargs 2014-02-11 09:40:02 +01:00
Anna Kozlova 4889751ded new inference: exclude return constraints/non pertinent to applicability argument constraints from overload resolution process 2014-02-11 09:40:00 +01:00