Commit Graph
1713 Commits
Author SHA1 Message Date
Anna Kozlova c16e402bed return type equivalence: compare supers with current method (IDEA-147335) 2016-01-07 20:14:48 +01:00
Anna Kozlova 99e4c75ee7 inherit unrelated abstract/default through hierarchy: don't merge methods with not override equivalent signatures (IDEA-146135) 2016-01-07 16:06:39 +01:00
Anna Kozlova df3e5be8cb inherit unrelated abstract/default through hierarchy (IDEA-146070) 2016-01-07 16:06:39 +01:00
Anna Kozlova a25cb73db1 inherit abstract/default when inheritor provides substitutor which makes 2 different methods in the super hierarchy override equivalent (IDEA-140490; IDEA-146056) 2016-01-07 16:06:39 +01:00
Anna Kozlova e32cc02725 inherit unrelated concrete methods with same signature error (IDEA-67838) 2016-01-07 16:06:39 +01:00
Anna Kozlova 88586f6ab9 method refs: captured wildcard at receiver position
EA-77434 - assert: PsiMethodReferenceCompatibilityConstraint.getParameterizedTypeSubstitutor
2016-01-04 19:25:03 +01:00
Anna Kozlova 105f33870f method references with qualifier with captured wildcard type: retrieve upper bound as it is done for method calls 2015-12-30 18:56:58 +01:00
Anna Kozlova 6aa61227df method reference: replace raw substitutor from second search with inferred substitutor and don't forget super class substitution (IDEA-149488) 2015-12-30 15:29:56 +01:00
Anna Kozlova 242cd356a7 method reference: additional diagnostics for invalid method references (IDEA-149688) 2015-12-29 16:46:58 +01:00
Anna Kozlova 210217ecfa new inference: already resolved vars can't have bounds problems (IDEA-149740) 2015-12-29 16:46:58 +01:00
Anna Kozlova 46ce9ed914 testdata for IDEA-149774 2015-12-28 19:07:22 +01:00
Anna Kozlova c4711f94ef testdata for IDEA-149709 2015-12-28 19:07:22 +01:00
Anna Kozlova adaa0f09b7 new inference: pull erased flag through nested calls (IDEA-133613) 2015-12-28 19:07:22 +01:00
Anna Kozlova 2be1c64a13 new inference: correct capture incorporation (IDEA-149807) 2015-12-28 19:07:22 +01:00
Anna Kozlova 29e713bb7e testdata for IDEA-149670 2015-12-28 14:57:27 +01:00
Anna Kozlova d9aeacbf48 overload resolution: don't prefer generic to raw substitution (IDEA-149289) 2015-12-28 10:27:00 +01:00
Anna Kozlova aa70efc9a4 testdata for IDEA-149224 2015-12-28 10:27:00 +01:00
peter c659eea193 IDEA-149428 Suggested variable name on a chain of lambdas has a different name to the original 2015-12-24 21:16:23 +01:00
Dmitry Avdeev 86d56226e9 IDEA-149613 Language level in a new project is 6 by default: fixing tests 2015-12-23 14:38:05 +03:00
Alexey Kudravtsev 592434fc68 no write action by default in tests 2015-12-22 14:40:08 +03:00
Alexey Kudravtsev 3d4169aec4 IDEA-149192 Blinking "Run Tests" gutter icon 2015-12-14 13:26:42 +03:00
Anna Kozlova 8edd7a4cf5 method hierarchy: don't merge methods with return types which are not substitutable (IDEA-57393) 2015-12-14 10:30:48 +01:00
Dmitry Batrak 031c19f4dc remove additional diagnostics - tests don't seem to blink anymore 2015-12-14 12:01:20 +03:00
Anna Kozlova 81a6cceb35 fix casting to primitives according to the spec (IDEA-131107; IDEA-148880) 2015-12-10 17:01:55 +01:00
Dmitry Batrak 1bf78b5b83 yet another attempt to fix blinking test 2015-12-10 14:26:52 +03:00
Anna Kozlova 7249fd8179 lambda: missed ground type for target functional type (IDEA-149053) 2015-12-09 22:03:56 +01:00
Anna Kozlova c81d887251 ensure potential compatible for pertinent to applicability: when number of parameters is wrong methods which are not potentially compatible are not filtered (IDEA-149103) 2015-12-09 19:28:03 +01:00
Anna Kozlova 92487fe273 assignment: stop bounds promotion inside nested wildcards (IDEA-139161) 2015-12-09 18:49:28 +01:00
Anna Kozlova c66efb2458 testdata for IDEA-130243 2015-12-09 18:49:28 +01:00
Anna Kozlova be223c2734 testdata for IDEA-139096 2015-12-09 18:49:28 +01:00
Dmitry Batrak 2ab33b871c enable debug logging in blinking test 2015-12-09 20:08:29 +03:00
Anna Kozlova dd38082794 least upper bound: pull unbounded wildcard up so types Number & Comparable<? extends Number & Comparable<?>> are produced instead of Number & Comparable<? extends Comparable<?>>
inferred type in bounds check cleanup: accept that inference result is not within its bounds and give the inference the second chance
2015-12-09 11:25:11 +01:00
Dmitry Batrak 12f7d7ec10 another attempt to fix blinking test 2015-12-09 12:48:35 +03:00
Dmitry Batrak dbe03b9b3d try to fix blinking test 2015-12-09 12:22:16 +03:00
Dmitry Batrak 400ae5d9ea trying to make test pass on agent - increasing timeout and adding diagnostic thread dump 2015-12-08 18:52:19 +03:00
Dmitry Batrak da6e56f6e6 IDEA-131718 Syntax errors make code foldings unfold 2015-12-08 15:12:42 +03:00
Anna Kozlova a15905ae13 conditional expression type: check poly expression first (IDEA-148965) 2015-12-08 09:37:18 +01:00
Anna Kozlova f6f2b83801 testdata for IDEA-146897 2015-12-07 10:35:33 +01:00
Anna Kozlova f55279387c recursive types capture: avoid capture comparison during glb computation (IDEA-57379; IDEA-139167; IDEA-139157) 2015-12-07 10:35:33 +01:00
Anna Kozlova b580d8eccb AIOOBE 2015-12-03 19:11:09 +01:00
Anna Kozlova 65194fd5f0 testdata for IDEA-127215 2015-12-03 19:11:09 +01:00
Anna Kozlova 4768643b60 new inference: capture implicit param types (IDEA-132716) 2015-12-03 19:11:09 +01:00
Anna Kozlova 32147c73e1 type distinction tweak (IDEA-134960) 2015-12-03 19:11:09 +01:00
Anna Kozlova 3aa29923c6 provide access object for captured wildcards (IDEA-128542) 2015-12-03 15:27:26 +01:00
Anna Kozlova 36ea2f9041 testdata for IDEA-148841 2015-12-03 15:27:26 +01:00
Dmitry Avdeev ad9d9397fc DefaultAnnotationParamInspection 2015-12-03 11:12:28 +03:00
Anna Kozlova 5ed0c728a2 testdata for IDEA-56754 2015-12-02 17:56:08 +01:00
Anna Kozlova e8111b751e new overload resolution: don't treat array type of functional interfaces as functional interface (IDEA-148726) 2015-12-02 17:56:08 +01:00
Anna Kozlova 8a1085dac4 testdata for IDEA-131686 2015-12-02 15:42:02 +01:00
Anna Kozlova 2bb333cd43 testdata for IDEA-136325 2015-12-02 15:42:02 +01:00