Commit Graph

1752 Commits

Author SHA1 Message Date
Anna Kozlova 8a56a94ff1 add assert != null fix should be disabled on the class level (EA-66814 - assert: AddAssertStatementFix.applyFix) 2015-03-23 20:33:20 +01:00
Anna Kozlova 5ed4840dad make capture<? super Object> == Object 2015-03-23 20:33:19 +01:00
Anna Kozlova 4d079801bf incompatible types quickfix: reregister for variable initializer (IDEA-138023) 2015-03-23 17:57:15 +01:00
Anna Kozlova 48db714b67 jdk9: support private methods in interfaces (IDEA-137918) 2015-03-23 17:57:12 +01:00
Anna Kozlova 4597494195 import of inner classes through should get raw substitutor from outr class if applicable (IDEA-121166) 2015-03-20 21:09:04 +01:00
Anna Kozlova 1f50640671 lambda isValueCompatible: ensure that normal completion is impossible for infinite loops (IDEA-137848) 2015-03-20 20:08:51 +01:00
Anna Kozlova 858119b775 new overload resolution: remember candidate when argument type is to be calculated (IDEA-137921) 2015-03-20 20:08:50 +01:00
Anna Kozlova 48619015ea testdata for IDEA-137893 2015-03-19 20:46:57 +01:00
Anna Kozlova e09ec985bf light elements should not be simplified especially when they were not changed (EA-47908 - IOE: CheckUtil.checkWritable) 2015-03-19 19:55:19 +01:00
Anna Kozlova dd1b0c2796 method reference: ignore already handled exceptions (IDEA-137694) 2015-03-18 14:09:58 +01:00
Anna Kozlova 4ba0890182 testdata for IDEA-137795 2015-03-18 14:09:56 +01:00
Anna Kozlova 4603022670 testdata for IDEA-137668 2015-03-16 20:14:20 +01:00
Anna Kozlova dfc1f6b698 testdata for IDEA-137694 2015-03-16 20:14:18 +01:00
Anna Kozlova 6ad1810157 unchecked warning explanation (IDEA-126457) 2015-03-16 13:34:32 +01:00
Anna Kozlova 1bf1a2cc13 do not report weaker access assignability higher in the hierarchy (IDEA-137533) 2015-03-13 14:32:10 +01:00
Anna Kozlova 027943681f lambda: check assignment for proper types (IDEA-137564) 2015-03-12 19:14:19 +01:00
Anna Kozlova 50043d2bd9 EA-65747 - assert: LambdaCanBeMethodReferenceInspection.canBeMethodReferenceProblem
(cherry picked from commit 694a7b3b7869e1be50170bf6490c8b3e30328c4b)
2015-03-11 20:36:01 +01:00
Anna Kozlova 87a7731477 disable stream conversion if qualifier is used inside method call args (IDEA-137186)
(cherry picked from commit 24dfdad535f2c33e4d1f4d004a28b0ca45012c1b)
2015-03-11 20:34:30 +01:00
Anna Kozlova 80bc7dad79 preprocess substitutor for receiver type exact references during reduction (IDEA-137417)
(cherry picked from commit 8515ed9707c6a5a61a7d908024247e523b89f08f)
2015-03-11 20:31:42 +01:00
Anna Kozlova 979dca3880 hide duplicated 'Add constructor parameter' fix (IDEA-137231)
(cherry picked from commit 7c5d5ec6c5141cf7fedf6d55712fb2dffc0d3ace)
2015-03-11 20:29:06 +01:00
Anna Kozlova bece20cb9f testdata for IDEA-137277
(cherry picked from commit d98f44e277ae128ef6fb279a4e0dd738f9162939)
2015-03-11 20:27:58 +01:00
Anna Kozlova f19a6c1ed8 testdata for IDEA-58687
(cherry picked from commit 0be74138c6c6c288887944c26107a5d47bc5cd09)
2015-03-11 20:27:31 +01:00
Anna Kozlova f6de981477 ensure anonymous is not converted to lambda/method ref if it contains inner classes or class initializers
(cherry picked from commit 32afe318e3bacd714f3e0b49d8f904402b17a9c2)
2015-03-11 20:27:02 +01:00
Anna Kozlova 1b7e4859be overload resolution: reject methods with wrong number of parameters even if vararg method is present (IDEA-131093) 2015-02-27 12:55:15 +01:00
Anna Kozlova 0361291c41 testdata for IDEA-136840 2015-02-27 12:55:14 +01:00
Anna Kozlova c0dee3fb75 method refs: ensure non-resolved method refs are not marked as exact (EA-59172 - assert: TypeConversionUtil.reportHierarchyInconsistency) 2015-02-25 20:34:39 +01:00
Anna Kozlova 3f27bb4d63 new inference: proceed nested calls of the same method with dependencies between inference variables from different calls (IDEA-136716; IDEA-135286) 2015-02-25 17:32:10 +01:00
Anna Kozlova e63a2de86f new inference: nothing should be cached during overload resolution (IDEA-136759) 2015-02-24 19:18:57 +01:00
Anna Kozlova ab8c437a33 method refs: simplify if first parameter is a receiver for method reference (IDEA-136882) 2015-02-24 15:04:54 +01:00
Anna Kozlova 94787a5f67 testdata for IDEA-136887 2015-02-24 15:04:53 +01:00
Anna Kozlova aa1b472dff mew inference: checked exceptions with incompatible bounds 2015-02-24 15:04:52 +01:00
Anna Kozlova 4819405128 ensure resolve is not cached during overload resolution 2015-02-23 21:39:38 +01:00
Anna Kozlova 8b7325aae5 testdata for IDEA-136856 2015-02-23 21:39:37 +01:00
Anna Kozlova 0c76e675ec testdata for IDEA-134277 2015-02-20 22:12:23 +01:00
Anna Kozlova 81ed04a7dc search for method implementations with correct substitutor 2015-02-20 22:03:19 +01:00
Anna Kozlova 9fc640a8f0 ensure correct expression is checked during read before write variable check (IDEA-135937) 2015-02-20 21:37:28 +01:00
Anna Kozlova a7efd33b2b cast conversion applicable for wildcard vs type parameter if bounds agree (IDEA-75628) 2015-02-20 19:46:49 +01:00
Anna Kozlova 939c490895 cast conversion: substitute type parameter bounds for recursive types (IDEA-136527) 2015-02-20 19:46:46 +01:00
Anna Kozlova ab09470050 method refs: missed super substitutor (IDEA-136717) 2015-02-19 20:40:49 +01:00
Anna Kozlova 11e81ab9d5 new inference: provide lambda incompatibility message based on failed inference (IDEA-131882) 2015-02-19 18:07:59 +01:00
Anna Kozlova d631901d7e distinguish capture in presentable text 2015-02-19 18:07:56 +01:00
Anna Kozlova b06817081b new inference: reject to infer variables if it's upper bound doesn't agree with lower/equal bound (when present) 2015-02-19 18:07:55 +01:00
Anna Kozlova 7bdb789b45 new inference:
reject inference if lower and equals bounds do not agree;
 -> inference variable should fill extends list types with it's upper bounds as they are correctly substituted with session's inference variables, otherwise incorporation up-up rule could get refs to initial type parameter instead of correct inference variable
2015-02-19 18:07:54 +01:00
Anna Kozlova 106ba612ce new inference: ignore return type constraints during method reference conflict resolving; work around raw type received from constructor reference given on raw type to be treated as diamond 2015-02-18 17:18:46 +01:00
Anna Kozlova 895b40432c lambda: can complete normally: skip empty finally blocks at lambda body end (IDEA-136628; IDEA-135791) 2015-02-17 19:56:04 +01:00
Anna Kozlova 6ca09678c2 allow navigation to not accessible fields when they are used inside reference chain 2015-02-17 14:58:59 +01:00
Anna Kozlova bcbc25e1de lambda -> method reference: ensure functional type was not changed after transformation (IDEA-136163) 2015-02-17 14:58:58 +01:00
Anna Kozlova 3163706022 testdata for IDEA-136581 2015-02-16 17:24:13 +01:00
Anna Kozlova d2c06c0d0b testdata for IDEA-123987 2015-02-13 21:28:47 +01:00
Anna Kozlova fc6e0f725d testdata for IDEA-124961 2015-02-13 21:28:46 +01:00