Commit Graph
2790 Commits
Author SHA1 Message Date
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
Dmitry Batrak 05015b2e8a IDEA-136397 Close brace in try resource block 2015-02-20 11:35:58 +03: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
Dmitry Batrak 88f587d17c IDEA-125512 switch case doesn't indent properly 2015-02-19 14:55:16 +03:00
Dmitry Batrak db78755a84 IDEA-136452 Can't surround with {} code starting from the comment under if statement 2015-02-19 10:35:55 +03: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
Anna Kozlova 952b8c7b9b testdata for IDEA-132379 2015-02-13 21:28:44 +01:00
Anna Kozlova 36b066ea54 testdata for IDEA-133935 2015-02-13 21:28:43 +01:00
Anna Kozlova 853f9c567f new inference: stop collecting constraints if target type is proper (IDEA-136412) 2015-02-13 18:54:04 +01:00
Anna Kozlova 465879cacf most specific: infer specific if method is generic even if type arguments are explicitly provided 2015-02-13 18:54:03 +01:00
Anna Kozlova 925e9d1610 pertinent to applicability: reject nested lambdas if they target non proper type 2015-02-13 18:54:02 +01:00
peter 4c109a6316 IDEA-136189 "Code completion" proposes to extend the class of the same class 2015-02-13 18:39:31 +01:00
peter 5ea85b6d84 IDEA-136406 Complete current statement doesn't insert a method body for default methods, creates broken code 2015-02-13 18:39:30 +01:00
Anna Kozlova 344379d2f4 lambda: accept? inference variables as target type for lambda expression during lambda constraint reduction (IDEA-136435) 2015-02-12 21:15:32 +01:00
Anna Kozlova 6d0e359bbc ensure language level is retrieved from analyzed method when method hierarchy is processed 2015-02-12 18:52:05 +01:00
Dmitry Jemerov c25243f74d moving tests from codeInsight-tests to community 2015-02-12 12:35:07 +01:00
Dmitry Jemerov 9dee6e8ff3 join lines: convert end-of-line comments to block comments when possible (IDEABKL-290) 2015-02-12 12:35:06 +01:00
Dmitry Jemerov 831087097d move JoinLinesTest to java-tests 2015-02-12 12:35:05 +01:00
Anna Kozlova ed0ff7c07f most specific check: ensure that functional types are specifically checked when method is not generics (IDEA-136287) 2015-02-11 19:05:41 +01:00
Anna Kozlova 502dd423d9 static interface method call: ignore static imports if call is qualified (IDEA-136077) 2015-02-11 19:05:40 +01:00
Anna Kozlova 7e0c4959db show error for enums constants referenced from instance field initializer (IDEA-136196) 2015-02-10 17:55:59 +01:00
Anna Kozlova 18e6a082d9 show error for enums without constants but with abstract methods 2015-02-10 17:55:58 +01:00
Anna Kozlova 3318c68aad test data for not accessible through captured wildcard 2015-02-10 17:55:57 +01:00
Anna Kozlova a6ef814ce8 java 8 interfaces: default/static preferences (IDEA-136171) 2015-02-10 17:55:56 +01:00
Anna Kozlova f821d7de73 multi-module setup: ensure access to static method from base class available only through mediate class is marked as error (IDEA-91904) 2015-02-10 13:21:22 +01:00
Anna Kozlova 2e438a4f7c multiple jdks/not exported dependencies: check that declared type of the qualifier doesn't contain unknown types 2015-02-09 20:33:09 +01:00
Anna Kozlova 69588b4a64 multiple jdks: test method signatures hierarchy 2015-02-09 19:38:17 +01:00
Roman Shevchenko 2c738eea52 IDEA-136162 (type annotations in anonymous classes) 2015-02-09 19:23:15 +01:00
Anna Kozlova d938257b33 multiple jdks in one project: highlight not accessible superclasses found in another module 2015-02-09 15:53:05 +01:00
peter a08f797fb3 IDEA-135554 Suggestion for class variable are incorrect 2015-02-06 17:26:14 +01:00
Anna Kozlova b0a9de51c9 testdata to fix javac behaviour (1.8u40) 2015-02-05 10:27:32 +03:00
Bas Leijdekkers facac1bd48 fix invert if followed by break bugs (IDEA-38798 & IDEA-112313) 2015-02-02 19:38:41 +01:00
Anna Kozlova 27e575b967 overload resolution for exact method references: ensure param types are equal in case non-generic methods 2015-02-01 16:30:45 +03:00
Anna Kozlova 867a714293 overload resolution for explicitly typed lambda: poly wins over primitive 2015-02-01 16:07:03 +03:00
Anna Kozlova dbdc890cd1 lambda expression isCongruent: ensure target function type has no type parameters 2015-02-01 12:54:19 +03:00