Commit Graph
2263 Commits
Author SHA1 Message Date
Anna.Kozlova b936f89275 redundant cast: ensure cast is not removed if operand changes it's type 2016-04-29 14:41:28 +02:00
Anna.Kozlova f52458abdf restrict anonym -> lambda: reject if return type would be changed (IDEA-154805) 2016-04-29 14:41:28 +02:00
Anna.Kozlova 567fc9ae88 fix testdata 2016-04-29 14:41:28 +02:00
Anna.Kozlova ce9556a909 override default methods in interfaces with default methods (IDEA-155381) 2016-04-29 14:41:28 +02:00
Anna.Kozlova f36501444c clear diamond inference errors when overload resolution fails 2016-04-28 11:39:38 +02:00
Anna.Kozlova bebf4975e6 change signature: expand expr lambda to block lambda when exception should be caught; don't expand method ref to lambda when only unchecked exceptions were added (IDEA-152386) 2016-04-28 11:39:38 +02:00
peter 85601ec30c support captured types in incomplete overloaded lambda completion (IDEA-155188) 2016-04-26 10:23:35 +02:00
peter 3b725bc33e IDEA-155188 Lambda auto completion for incomplete overloaded method fails 2016-04-25 20:45:38 +02:00
Anna.Kozlova a1ae485b22 diamond: reject diamonds nested inside type arguments as soon as possible (IDEA-155153) 2016-04-25 14:41:56 +02:00
Anna.Kozlova e588d2285a highlighting: don't add warning for nested lambda when problem is inside upper level (IDEA-155192) 2016-04-25 14:41:56 +02:00
Anna.Kozlova b1645e3ae5 reuse utility method; ensure unknown functional type reduced to Object before create new psi
EA-75452 - IOE: PsiJavaParserFacadeImpl.createTypeElementFromText
2016-04-22 17:02:00 +02:00
Anna.Kozlova 1a2b94105e EA-78630 - CCE: TrivialFunctionalExpressionUsageInspection$ReplaceWithLambdaBodyFix.replaceWithLambdaBody 2016-04-22 17:02:00 +02:00
Anna.Kozlova 5d6351b1ec diamonds: don't accept inferred types when error appeared during inference (IDEA-154619) 2016-04-21 18:39:23 +02:00
Anna.Kozlova 399e59e8dd fix testdata 2016-04-21 14:33:04 +02:00
Anna.Kozlova e07b25baba testdata for IDEA-153701 2016-04-21 14:33:04 +02:00
Anna.Kozlova a12bdff8a1 explicit -> diamond: ignore invalid types (IDEA-155017) 2016-04-20 19:13:20 +02:00
Anna.Kozlova 401ec5dbfa redundant cast: restoring call by top level, let's search by arg list offset in order to avoid finding method calls from qualifiers 2016-04-20 17:49:29 +02:00
Anna.Kozlova 22c8d0f9ce anonymous -> lambda: fix anonymous classes in enum constants 2016-04-20 17:49:29 +02:00
Anna.Kozlova 5f72c7380c array access: don't open captured wildcards 2016-04-20 17:49:29 +02:00
Anna.Kozlova ee4f41b14c don't open captures on type computation (IDEA-154968) 2016-04-20 17:49:29 +02:00
Anna.Kozlova 2dead05e6b treeWalkUp: stop at member level to avoid skipping anonymous classes 2016-04-19 20:02:32 +02:00
Anna.Kozlova c09caae28e treat conditional expressions with new expressions with diamonds inside as poly
EA-76546 - assert: InferenceSessionContainer.treeWalkUp
2016-04-19 19:05:54 +02:00
Anna.Kozlova abf32b50d5 don't calculate type of method expression which is located on the left side of assignment - assignment is invalid anyway
(EA-77049 - assert: PsiMethodCallExpressionImpl$TypeEvaluator.fun)
2016-04-19 19:05:54 +02:00
peter a4aa1f2bd7 IDEA-152224 Unwrap if should check if there are conflicting variables 2016-04-19 14:00:30 +02:00
Anna.Kozlova 4c06b785c0 testdata for IDEA-154861 2016-04-18 12:54:50 +02:00
Anna.Kozlova 43fc40c4a5 anonym -> lambda, redundant cast, redundant type args: process top level overloads (IDEA-152766);
rearrange utils
2016-04-15 18:43:24 +02:00
Anna.Kozlova 09f46115cf redundant cast: special processing for functional expressions as enum args (IDEA-154354) 2016-04-15 18:43:24 +02:00
Anna.Kozlova bb6394162a warn about compilable code which would lead to runtime ClassCastException in addition to unchecked warning which nobody understands (IDEA-154345) 2016-04-15 18:43:24 +02:00
Alexey Kudravtsev bfcb00fff6 quick fix for MagicConstantInspection which suggests to replace 1 with Font.BOLD 2016-04-15 12:34:33 +03:00
Anna.Kozlova 320aeb7b5e inference: erasure functional type for raw substitutors (IDEA-154759) 2016-04-14 20:59:13 +02:00
Anna.Kozlova f7137a044d anonymous -> lambda: deep unique names (IDEA-154751) 2016-04-14 20:59:13 +02:00
Anna.Kozlova f64bd14441 method refs: site substitution should not replace session setup (IDEA-154722) 2016-04-14 12:28:44 +02:00
Anna.Kozlova d780e31bdf inference: ensure foreign variables do not participate in inference process, e.g. variables from method reference overload resolution (IDEA-154622) 2016-04-13 21:11:02 +02:00
Anna.Kozlova 9086115347 method ref: type parameter instantiation (IDEA-154645) 2016-04-13 12:30:54 +02:00
Anna.Kozlova fc14dddfd8 check for abstract method implemented optimized: don't go through hierarchy if superClass is not abstract and there is no interfaces, would also fix asm implementations with 'broken' erasures inside 2016-04-11 21:51:18 +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 59daba3004 disable return void suggestion (IDEA-154467) 2016-04-11 12:48:53 +02:00
Anna.Kozlova 9cdb5a70af trivial method ref: check if qualifier is of assignable type (IDEA-154422) 2016-04-08 18:44:25 +02:00
Anna.Kozlova 9150e6fd4a clear error message (IDEA-154419) 2016-04-08 18:44:25 +02:00
Anna.Kozlova a8ad27f8a9 no need to check unrelated concrete for same named constructors in the hierarchy (IDEA-154377) 2016-04-08 18:44:25 +02:00
Anna.Kozlova 572b7d8e7e disable create enum constant when not applicable (IDEA-154293) 2016-04-08 18:44:25 +02:00
Roman Shevchenko 3c6b40759b [java] adds PsiModifierList.hasModifierProperty() augmentation point (IDEA-153706) 2016-04-08 10:36:41 +02:00
Anna.Kozlova 0ed05632ff ensure non-initialized fields used inside lambdas are rejected if lambda is inside class initializer only (IDEA-154305) 2016-04-07 15:13:00 +02:00
Anna.Kozlova 66a8aa11b8 collect unhandled exceptions from enum constructor (IDEA-154283) 2016-04-07 15:13:00 +02:00
Anna.Kozlova 3966e55bbf testdata for IDEA-154278 2016-04-06 21:17:37 +02:00
Anna.Kozlova 0ca2e9cdd6 don't pass erasure flag through inference process 2016-04-06 17:15:12 +02:00
Anna.Kozlova 56a3a1ffa4 move operator assignment check for object to javac quirks inspection with fix (IDEA-154209) 2016-04-06 17:15:12 +02:00
Anna.Kozlova 1bc380f6fd overload resolution: skip static correctness check during overload resolution (IDEA-154187) 2016-04-06 12:51:57 +02:00
Anna.Kozlova c35fa1891b if client iterates through candidates of call resolve results and start inference for one of them, then cached top level session should be rejected if it corresponds to another candidate 2016-04-06 12:51:57 +02:00
Anna.Kozlova cd9c406260 don't cache substitutors during processing of all candidates (blinking red code) 2016-04-05 21:03:27 +02:00