Commit Graph

1420 Commits

Author SHA1 Message Date
Anna Kozlova d13982bd06 most specific: do not start java 8 algorithm for provided type args (IDEA-125855) 2014-06-03 18:41:27 +04:00
Anna Kozlova 784512b713 enum constants access inside enum constant initializers fixed (IDEA-125816) 2014-06-03 11:31:18 +04:00
Anna Kozlova b1b3b1db37 accept intersection types in foreach stmts (IDEA-125800) 2014-06-03 11:31:16 +04:00
Roman Shevchenko b8be4e29d9 IDEA-125805 (language level increase quickfix for switch on enum/string) 2014-06-02 20:14:07 +04:00
Anna Kozlova b159632060 testdata for IDEA-57388 2014-06-02 20:00:33 +04:00
Anna Kozlova 656ce72eb4 testdata for IDEA-67578 2014-06-02 20:00:32 +04:00
Anna Kozlova 88a9ace2c1 old inference: take only EQUALS bounds from sibling param (IDEA-119757) 2014-06-02 20:00:30 +04:00
Anna Kozlova ae2b6c6408 testdata fixed 2014-06-02 15:18:17 +04:00
Anna Kozlova edeb5d21e1 testdata for IDEA-57290 2014-05-31 21:04:56 +04:00
Anna Kozlova b1b3964fee testdata for IDEA-58692 2014-05-31 20:36:05 +04:00
Anna Kozlova af3e41334d testdata for IDEA-24496 2014-05-31 20:36:04 +04:00
Anna Kozlova ae5717690b provide 'place' language level for convertible check to allow types from old libraries to be casted to primitives (IDEA-117684) 2014-05-31 20:36:04 +04:00
Anna Kozlova 2f6d5c9e27 testdata for IDEA-118362 2014-05-31 20:36:03 +04:00
Anna Kozlova f55b7ffa8d equality asymmetry fixed (IDEA-118533) 2014-05-31 20:36:03 +04:00
Anna Kozlova fdcb20b740 type distinct prover asymmetry fixed (IDEA-118533) 2014-05-31 20:36:02 +04:00
Anna Kozlova fffde12ba8 new inference: mark erased for type params/raw types compatibility (IDEA-122932) 2014-05-30 23:31:20 +04:00
Anna Kozlova a2615d0fc1 new inference: accept raw equality 2014-05-30 23:31:18 +04:00
Anna Kozlova 67daae0c20 leave capture during bound composition of unbounded wildcards (IDEA-125423) 2014-05-30 23:31:16 +04:00
Anna Kozlova 01c9bba9a7 old inference: ignore java 1.6 bug in new versions (IDEA-125744) 2014-05-30 23:31:15 +04:00
Anna Kozlova b7ab465ad9 old inference: choose child type between types in subtypes constraint (IDEA-118536) 2014-05-30 23:31:13 +04:00
Anna Kozlova 41b974e36f anonym -> lambda: disable if target SAM type is raw and methods are called on params with Object erasure (IDEA-125613) 2014-05-29 21:49:26 +04:00
Anna Kozlova d67e9b4f4b IDEA-118279 create constructor params: apply cleanup 2014-05-29 16:17:22 +04:00
Dmitry Batkovich 80a7f69972 IDEA-25183 2014-05-28 17:46:34 +04:00
Dmitry Batkovich dff9280491 IDEA-93040 2014-05-28 16:06:16 +04:00
Anna Kozlova d5ee2ec744 testdata fixed 2014-05-26 22:21:20 +04:00
Anna Kozlova 32fe2746f9 stream api: do not collapse loops when body is not throws compatible (IDEA-125541) 2014-05-26 15:35:49 +04:00
Anna Kozlova eaa9ce63f6 method refs: check if interface functional (IDEA-125511) 2014-05-26 09:19:31 +04:00
Anna Kozlova d2c04b864f anonymous -> lambda: do not collapse to lambda functional interfaces with generics methods, accepted by method refs though 2014-05-26 07:46:09 +04:00
Anna Kozlova 506a2cbbbc include anonym prefix in internal canonical text to avoid incompatibility messages with "same" types on both sides 2014-05-22 20:45:58 +04:00
Anna Kozlova 5953b8fb0d accessibility of private method via anonymous classes fixed 2014-05-22 20:45:56 +04:00
Anna Kozlova 0da1a208cc ensure expression valid, initializer expression should be already replaced (IDEA-125231) 2014-05-19 14:08:56 +04:00
Anna Kozlova 8d2b706f59 change method return type on call site (IDEA-125166) 2014-05-16 20:42:44 +04:00
Anna Kozlova 1e48abe578 good code red: nested classes inheritance 2014-05-16 14:59:24 +04:00
Anna Kozlova 2b8c3330c5 fixed type annotations restoring (IDEA-124889) 2014-05-15 16:12:38 +04:00
Anna Kozlova 2386bed21f testdata for IDEA-24479 2014-05-13 18:34:56 +04:00
Anna Kozlova b32b3332c4 assignment fix for super wildcards (IDEA-125031) 2014-05-13 18:04:55 +04:00
Anna Kozlova 7ab104ac75 IDEA-124985 2014-05-12 17:59:15 +04:00
Anna Kozlova 5bf5dd0450 static methods in interfaces can't be hidden in subclasses (IDEA-124921) 2014-05-12 13:08:28 +04:00
Anna Kozlova d83af543fc accept raw substitutors during diamonds inference (IDEA-124836) 2014-05-07 15:35:58 +04:00
Anna Kozlova cc743c35cc testdata for JDK-8042508 2014-05-07 12:29:28 +04:00
Anna Kozlova 1ab69ce2b2 stream migration: missed qualifiers restored (IDEA-124820) 2014-05-07 11:57:36 +04:00
Anna Kozlova 288ccfa195 most specific check: accept lambdas when target type is type parameter (IDEA-124725) 2014-05-05 17:12:17 +04:00
Anna Kozlova a2a076c02a lambda -> method ref: reject anonymous class replacement (IDEA-124748) 2014-05-05 17:12:13 +04:00
Anna Kozlova dc73135a77 accept static methods with body in interfaces (IDEA-124745) 2014-05-05 17:12:12 +04:00
Anna Kozlova 35206e46bf uncomment testdata 2014-05-05 17:12:09 +04:00
Anna Kozlova 4cefdc5290 testdata for IDEA-124547 2014-05-05 17:12:06 +04:00
Anna Kozlova 90d2f451a1 new inference: early abort calculation by lambda return (IDEA-124276) 2014-05-01 16:29:35 +04:00
Anna Kozlova f2256cab48 calculate target type in the same way for statement/expressions lambdas 2014-05-01 15:33:13 +04:00
Anna Kozlova 896c488a2f testdata to expression lambda 2014-05-01 15:33:11 +04:00
Anna Kozlova 8096d635a6 inference when incomplete 2014-05-01 15:33:10 +04:00