Commit Graph
3126 Commits
Author SHA1 Message Date
Anna.Kozlova d5613fae7f testdata for IDEA-153632 2016-03-29 21:17:55 +02:00
Anna.Kozlova f139c4cef4 new inference: check provided lower bounds on type parameters, in case of fresh variables they declare the type hierarchy and otherwise constrains won't agree (IDEA-153642) 2016-03-29 16:51:50 +02:00
Dmitry Batkovich 6f49be7fcc wrap with optional IDEA-122553 2016-03-25 13:50:03 +03:00
Anna Kozlova 532a22e4ed testdata fixed 2016-03-24 21:28:00 +01:00
Anna.Kozlova 7712f6e443 proceed static factories instead of constructors to calculate expected types when diamonds are used (IDEA-153520) 2016-03-24 18:14:17 +01:00
Anna.Kozlova 0e808d9aff highlight invalid method call: search for most probable argument-cause (IDEA-151202) 2016-03-24 15:58:41 +01:00
Bas Leijdekkers af3365744c IDEA-38591 (Can't use "Create Local Var from instanceof" intention on multiple 'instanceof' with &&) 2016-03-24 15:36:14 +01:00
peter 419770e30d IDEA-153437 Do not suggest to loop over the loop variable (and don't duplicate "new") 2016-03-24 11:54:46 +01:00
Anna.Kozlova bf5cd076c1 new inference: avoid inferring partly raw types (in case of unchecked conversion resolve to eq/low bound or null if only upper is present) as these types won't be treated as wildcard parameterized ever (IDEA-150167) 2016-03-24 11:48:06 +01:00
Anna.Kozlova a3b5e864db convert field to local: reject when field is used from javadoc (IDEA-153332) 2016-03-23 17:20:32 +01:00
Anna.Kozlova 9e8666f159 bind params to fields: accept field assignments if not exactly the parameter reference was assigned (IDEA-120320) 2016-03-23 17:20:32 +01:00
Anna.Kozlova d935cfd941 change error message (IDEA-153156) 2016-03-22 19:37:27 +01:00
Anna.Kozlova b1a0d687df old inference: include type parameter's bounds in result as intersection if inference from parent type was started (IDEA-153411) 2016-03-22 19:22:42 +01:00
Anna.Kozlova f6faa42d85 anonym -> lambda: reject refs to the next static from static field initializer 2016-03-21 21:11:36 +01:00
Anna.Kozlova 6fc9953a82 show error if uninitialized field is referenced from lambda inside inner/anonymous class in another field initializer; disable anonymous -> lambda for such places 2016-03-21 21:11:36 +01:00
Anna.Kozlova c5c96608b7 most specific check for proper functional types fixed 2016-03-21 19:35:58 +01:00
Anna.Kozlova a3aca75748 overload resolution: testdata for java 8 bug 2016-03-21 19:35:58 +01:00
Anna.Kozlova f14159a852 disable replace with collect for raw collection substitutors (IDEA-153325) 2016-03-21 14:14:26 +01:00
Anna.Kozlova ab7f16e4b9 testdata for IDEA-153284 2016-03-21 14:14:26 +01:00
Anna.Kozlova 3a700a9bc9 process override equivalent methods when check for functional interface target (IDEA-153324) 2016-03-21 14:14:26 +01:00
Anna.Kozlova 81a6342d17 anonymous -> method ref: collapse receiver method references to raw receiver (IDEA-153261) 2016-03-18 20:49:43 +01:00
Anna.Kozlova 6daac099e6 anonymous -> lambda: treat class initializers as fields when forward references are check (IDEA-153254) 2016-03-18 20:49:43 +01:00
Anna.Kozlova ae59643c87 testdata for IDEA-151214 2016-03-18 15:50:22 +01:00
Anna.Kozlova 395c55df75 testdata for IDEA-150754 2016-03-18 15:50:22 +01:00
Anna.Kozlova 034012ae4e overload resolution: clear inference errors from nested calls when top level expression is abadoned as non-applicable (IDEA-150718; IDEA-153222) 2016-03-18 15:50:22 +01:00
Anna.Kozlova 53d3aa770c inference: don't include constraints to resolve if input bounds have proper instantiation but depends on the output of another constraints (IDEA-153164) 2016-03-17 21:25:32 +01:00
Anna.Kozlova ec5245ed00 redundant cast: recapture wildcards for non-physical elements (IDEA-153166) 2016-03-17 18:04:01 +01:00
Anna.Kozlova cdc7349caa unchecked warnings: don't warn about generics array creation if arg of array type is found (IDEA-153122) 2016-03-17 18:04:01 +01:00
Roman Shevchenko e4a0f4548b [java] allows up to 5 unused variables per scope 2016-03-16 19:02:04 +01:00
Anna.Kozlova d0011b3acb accessibility checks: stop at library level 2016-03-16 15:35:39 +01:00
Anna.Kozlova 15d6e64813 lambda -> method ref: compare denotable types (IDEA-153054) 2016-03-16 15:35:39 +01:00
Anna.Kozlova dcbb728074 testdata for IDEA-153076 2016-03-16 15:35:39 +01:00
peter 80c6e1c9f4 java completion sorting: disprefer return in void lambdas (IDEA-CR-9303, IDEA-152289) 2016-03-16 11:32:51 +01:00
Dmitry Batrak 4102ffee3d IDEA-152628 shift-F1 displays two URL
fix tests
2016-03-16 10:27:34 +03:00
peter d9cbc98a49 IDEA-152289 Code completion suggests "return" as the first result in the empty constructor 2016-03-15 19:55:14 +01:00
peter 28b7c2501a IDEA-152325 Smart completion should not suggest class fields in its this/super constructor call 2016-03-15 19:55:14 +01:00
Anna Kozlova 0c583feae6 show static import suggestion: ensure normal inference process for method candidate (IDEA-152985) 2016-03-15 19:09:04 +01:00
peter dd738694bd IDEA-152516 Smart completion & inner classes 2016-03-15 17:38:05 +01:00
Anna Kozlova 65ebda0fff SOE with recursive type parameter dependencies 2016-03-15 13:31:13 +01:00
Anna Kozlova 1aa1c9a921 non-static fields should not be available in static context even if they are compile time constants (IDEA-150030) 2016-03-14 21:34:56 +01:00
Anna Kozlova c00d3d7371 revert (IDEA-152685) 2016-03-14 17:48:06 +01:00
Anna Kozlova 7cfcb1bb69 testdata based on IDEA-152768 2016-03-14 17:48:06 +01:00
Anna Kozlova a54e0ed47e copy to final: effectifely final is enough fot java 8 (IDEA-152934); change wording 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 174c1e654d copy reference testdata: avoid same class to be present simultaneously in the same package 2016-03-11 17:08:17 +01:00
Anna Kozlova c04d309399 copy reference: fix isReferenceTo check (IDEA-152601) 2016-03-11 15:07:28 +01:00
Anna Kozlova 23df4bf2a1 redundant cast: open capture to compare old and new result types 2016-03-11 10:51:37 +01:00
Anna Kozlova 320904a20f redundant cast: compare base types for anonymous classes 2016-03-11 10:51:37 +01:00
Anna Kozlova ea84b25cc5 unrelated defaults: ignore type parameters check for abstract methods only, leave as is for defaults 2016-03-11 10:04:22 +01:00
Anna Kozlova 9675e0248a unrelated defaults: don't check type parameters 2016-03-11 09:38:32 +01:00