Commit Graph
163 Commits
Author SHA1 Message Date
Rustam Vishnyakovandintellij-monorepo-bot 123242c4b2 EditorConfig documentation test
GitOrigin-RevId: fd52ace3d7a32ecd02c2c5ab90e077967604c15e
2019-06-16 04:03:21 +03:00
Egor Zhdanandintellij-monorepo-bot c1813cfb52 Cleanup: NotNull/Nullable
GitOrigin-RevId: b8e892f32ea84c2115973155dba7127b892cc36e
2019-06-16 04:02:08 +03:00
Anna Kozlovaandintellij-monorepo-bot 91f7445298 constructor reference: don't ignore constructor parameters during method reference inference (IDEA-185578)
GitOrigin-RevId: e836468e05db28157713e9edd3c70382f8ecdebc
2019-06-13 03:15:49 +03:00
Egor Zhdanandintellij-monorepo-bot 39d2d77155 Cleanup: NotNull/Nullable
GitOrigin-RevId: b8e892f32ea84c2115973155dba7127b892cc36e
2019-06-13 03:14:35 +03:00
Aleksey Rostovskiyandintellij-monorepo-bot 185284cee6 get rid of intellij.build.toolbox.litegen parameter and use BuildOptions.TOOLBOX_LITE_GEN_STEP to skip it instead
GitOrigin-RevId: 9aac8ee4ed1ebf2a29de18a238825fafb1ab88f9
2019-05-27 15:08:08 +03:00
Alexandr Suhininandintellij-monorepo-bot 9215f4240b [duplicates] enable duplicates analysis in PyCharm/WebStorm/PhpStorm/RubyMine
GitOrigin-RevId: 1545b79fdca4888f4b94f47f22703fd37694fa7a
2019-05-27 15:07:30 +03:00
Anton Makeevandintellij-monorepo-bot aa103fd53c Merge branch 'master' into amakeev/gradle
# Conflicts:
#	community/plugins/gradle/src/org/jetbrains/plugins/gradle/service/settings/IdeaGradleProjectSettingsControlBuilder.java

GitOrigin-RevId: d931e798108685731bf185f7c2e3221680b8e5a2
2019-05-17 19:11:16 +03:00
Anton Makeevandintellij-monorepo-bot b54aaf7e4e IDEA-210281 Cleanup Gradle settings: separate Runner configurable removed
GitOrigin-RevId: adbc39121fe91beb633e125b4cf39bfe0a422e4b
2019-05-17 19:02:16 +03:00
Anna Kozlovaandintellij-monorepo-bot 78095fd61d inference: check lower bounds assignability to upper bounds
lub may break some capture invariants

GitOrigin-RevId: c7857bf255c357471fd9f14fc161d2ca03769f4b
2019-05-14 11:06:24 +03:00
Anna.Kozlova 41042d7f09 inference: treat only non-proper bounds of inference variables as unchecked conversion (IDEA-204125) 2019-01-22 13:45:03 +01:00
Anna.Kozlova b015644d7a get rid of redundant space in error message 2018-11-21 15:54:15 +01:00
Anna.Kozlova 382cf50470 ignore type arguments on calls on raw types (IDEA-201219) 2018-10-25 16:20:57 +02:00
Anna Kozlova de4e4520b3 testdata for IDEA-53597 2018-08-20 11:08:37 +03:00
Anna Kozlova c647e7e306 testdata for IDEA-194093 2018-06-18 17:05:41 +03:00
Anna.Kozlova 51a2d549b2 highlight only method name on unhandled exception (IDEA-190912) 2018-04-25 21:11:38 +02:00
Anna.Kozlova 42d204757e treat type parameter array upper bounds (IDEA-190380) 2018-04-17 18:23:41 +02:00
Anna.Kozlova d74021cd16 highlight enum with abstract methods until enum initializer is added
IDEA-184704
2018-01-11 19:31:43 +01:00
Anna.Kozlova 1fc76eb779 calc types by applicability constraints if inference fails
include all inference variables for resolve and ignore additional constraints checks if the inference is going to failure; this way if (expr()) would get type of the 'standalone' expression instead of expression with boolean as expected type
2017-12-07 15:51:06 +01:00
Anna.Kozlova f368f326dc follow IDEA-CR-26141 2017-10-27 20:18:47 +02:00
Anna.Kozlova a2e13fee96 inference: check glb conflicts after flatten in intersection type(IDEA-181017) 2017-10-25 18:01:56 +02:00
Anna.Kozlova 084655d49f don't capture when checking subtypes deep in hierarchy (IDEA-179850) 2017-10-13 19:36:58 +02:00
Anna.Kozlova 250956f8b0 report inference error if resolution failed (IDEA-179978)
in the issue, non-vararg overload candidate was chosen cause it was not filtered as inapplicable
2017-10-13 10:47:47 +02:00
Anna.Kozlova 4e8a0d2dd8 don't loose type parameter bounds during super substitution (IDEA-175471) 2017-07-07 12:54:58 +02:00
Anna Kozlova fdf412aca7 transitive overriding methods check: applied for interfaces (IDEA-174806) 2017-06-23 18:19:42 +03:00
Anna Kozlova db549e17d1 take into account container class type parameters: unchecked warnings 2017-06-22 15:54:30 +03:00
Anna Kozlova cba2ff917b take into account container class type parameters
when non-generic inner class is located inside generic outer, inference variables could be hidden in parent parameters (IDEA-174762; IDEA-174776)
2017-06-22 12:14:03 +03:00
Alexey Kudravtsev 920d5b4fba removed default file header, because it adds no information but subtracts attention and space 2017-05-11 13:39:07 +03:00
Anna Kozlova 77f4894aae inference errors: make applicability error thread safe so multiple threads can perform overload resolution of parent method calls independently, save presentable error when substitutor cached only 2017-05-08 12:12:13 +03:00
Anna Kozlova f3d0a39366 infer conditional expression type for incomplete calls (IDEA-171431) 2017-05-04 20:29:52 +03:00
Anna.Kozlova 568bb75fbc don't highlight part of poly conditional expression when it's type is not defined, would be highlighted on top level (IDEA-171431) 2017-04-29 19:28:48 +02:00
Anna.Kozlova 95226c21c5 explicit right to left side assignment failure when inference breaks on return type (IDEA-152677) 2017-03-27 10:34:43 +02:00
Anna.Kozlova e75f2f7860 make message closer to javac error (IDEA-169865) 2017-03-21 12:18:45 +01:00
Anna.Kozlova 8cb5670877 missed constraint on lower bound of captured wildcard (IDEA-169083) 2017-03-07 11:42:25 +01:00
Anna.Kozlova 968d14a5db Revert testdata changes: Proper focus requests through the IDE focus subsystem. Part II. 2017-02-21 21:25:26 +01:00
Denis Fokin 556290b406 Proper focus requests through the IDE focus subsystem. Part II. 2017-02-21 21:06:22 +03:00
Anna.Kozlova 4a405a6bcd unchecked warning inside lambda return statements 2017-02-06 13:34:48 +01:00
Anna.Kozlova 9d9c62523d warn about static methods in interface with same erasure (IDEA-165927) 2016-12-27 14:47:58 +01:00
Anna.Kozlova d336733d3e ensure bounds are promoted on derived type otherwise bounds from super could appear on unbounded wildcards (IDEA-162882) 2016-11-02 15:51:14 +01:00
Anna.Kozlova f26364eca1 new inference: erasure of type parameters with proper bounds (IDEA-162544) 2016-10-19 19:17:33 +02:00
Anna Kozlova 92e17eed9c substitute type parameter bounds with current substitution when method signatures in the hierarchy are checked (IDEA-159801) 2016-09-15 18:35:33 +03:00
Anna.Kozlova 1839e42715 treat captured wildcard type as type parameter type with special upper bound (IDEA-159663) 2016-08-12 11:06:57 +02:00
Anna Kozlova a714c0d820 unchecked cast warning: missed captured wildcards (IDEA-158080); reifiable captured wildcard type 2016-07-01 12:44:39 +03:00
Anna Kozlova 79edaf45af erasure of method call expression type if method is not generics but unchecked conversion was needed to check the applicability (IDEA-157223) 2016-06-14 11:34:32 +03:00
Anna Kozlova cb071c57a6 reject imports from default package (IDEA-138822; IDEA-154024) 2016-06-06 20:12:56 +03:00
Anna Kozlova 49816aeded resolve on nested captures (IDEA-156170) 2016-05-26 18:56:33 +03:00
Anna.Kozlova 5f72c7380c array access: don't open captured wildcards 2016-04-20 17:49:29 +02:00
Anna.Kozlova 1466b0155e bad code green: reject return type constraint if unchecked conversion was applied during applicability check and return type is type parameter 2016-04-11 21:51:18 +02:00
Anna Kozlova c00d3d7371 revert (IDEA-152685) 2016-03-14 17:48:06 +01:00
Anna Kozlova e31a812438 inference: unchecked warning in type params bounds (IDEA-152758) 2016-03-14 17:48:06 +01:00
Anna Kozlova db215203e0 inference for non-poly expressions: isAssignable already contains loose context inside, don't allow any additional conversions (IDEA-152694) 2016-03-09 14:23:53 +01:00