Commit Graph

323 Commits

Author SHA1 Message Date
Anna Kozlova f90c603a81 testdata for IDEA-57537
(cherry picked from commit 701378494912e1f8a52c8f0c9bc18d61e2f3ebbf)
2014-10-17 21:08:07 +02:00
Anna Kozlova 9fce6c0640 erasure method call type if unchecked assignment was applied during applicability check (IDEA-67862)
(cherry picked from commit f106f813559768f90952caac6a2eec4cfeed7103)
2014-10-17 21:07:43 +02:00
Anna Kozlova 763ba4e270 testdata for IDEA-113631
(cherry picked from commit 08781460ef008e273213dfb9609c00dc30807d83)
2014-10-17 21:07:20 +02:00
Anna Kozlova 6ed35f49fd testdata for IDEA-59283
(cherry picked from commit 395ade03a5f4eb59ccd55375cdd97f5c5d196c7a)
2014-10-17 21:06:57 +02:00
Anna Kozlova 403abc677a testdata for IDEA-57293
(cherry picked from commit ece414558b7165e746bdf0a2d949979641ca33b4)
2014-10-17 21:06:36 +02:00
Anna Kozlova ba074ff60f testdata for IDEA-57508
(cherry picked from commit 4fe55d72d1deca0802202ffb90194fdc41196598)
2014-10-17 21:06:14 +02:00
Anna Kozlova 8dd8f509f6 substitution: do not open unbounded capture during substitution (IDEA-125423)
(cherry picked from commit 1a8180cabca79b6ab2972a759aaffaa043f60c57)
2014-10-17 21:05:53 +02:00
Anna Kozlova b2ea4c6e79 inference: simplify bounds check; ensure fresh variables are treated as same, important e.g. in case of diamond operator when inferred types are new each time they are computed (IDEA-131066)
(cherry picked from commit 517c299e336e38bc20d3478191279be2176fbd9b)
2014-10-13 19:33:33 +02:00
Anna Kozlova 02c3e4395d testdata for IDEA-127767 2014-10-07 18:25:02 +02:00
Anna Kozlova 75f1f14e8c anonymous type methods: remove too much intelligence (IDEA-130498) 2014-09-30 11:02:23 +02:00
Anna Kozlova f884b96deb testdata for IDEA-114797 2014-09-08 15:37:38 +04:00
Anna Kozlova 8e353cebff testdata for IDEA-106985 2014-09-04 15:07:13 +04:00
Anna Kozlova 17b77be48b do not generate captured wildcard from unbound captured wildcard with same context 2014-09-04 15:07:13 +04:00
Anna Kozlova 624fa25d38 capture conversion: add upper bound for ? super if corresponding type parameter has upper bounds( IDEA-128328; IDEA-128972) 2014-08-27 20:59:32 +04:00
Anna Kozlova 66b21d3562 check type argument is in type parameter's bounds: ensure that resulted intersection type is valid 2014-08-27 20:59:31 +04:00
Anna Kozlova 4131ada075 testdata for IDEA-78402 2014-08-18 21:45:31 +04:00
Anna Kozlova 6d5cc7b95a testdata for IDEA-19800 2014-08-18 21:45:31 +04:00
Anna Kozlova 04d81c718c type distinct prover for object/type parameter wildcard fixed IDEA-124363 2014-07-02 21:25:09 +02:00
Anna Kozlova fca471c397 conditional expression: ensure return type is primitive short in case of short/byte branches (IDEA-126697) 2014-06-30 14:03:38 +02:00
Anna Kozlova 489563106d provably distinct: continue to compare for nested levels (IDEA-126633) 2014-06-27 18:31:55 +02:00
Anna Kozlova 69e6a15e27 temp revert capture open 2014-06-23 20:10:00 +02:00
Anna Kozlova 27f10a6c30 check to prevent contradicted intersection type (IDEA-67600) 2014-06-09 17:03:12 +04:00
Anna Kozlova 2f0830187b check for type param numbers in java 1.6 should not rise error if super methods have type params (IDEA-57338) 2014-06-09 15:32:55 +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
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 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 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 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 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 1e48abe578 good code red: nested classes inheritance 2014-05-16 14:59:24 +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 902e51a856 substitute bounds (IDEA-123509) 2014-04-29 18:54:59 +04:00
Anna Kozlova f58394cd59 IDEA-124019 2014-04-29 18:54:56 +04:00
Anna Kozlova 71f8a4af73 IDEA-124352 2014-04-25 14:21:53 +02:00
Anna Kozlova b8fb550a2e IDEA-124271 2014-04-23 20:10:19 +02:00
Anna Kozlova 54ced00cb4 highlight all pairs of methods with same erasures (IDEA-124116) 2014-04-23 16:33:43 +02:00
Anna Kozlova 4a34bd569b do not report unrelated return type error only for generics methods 2014-04-22 20:02:36 +02:00
Anna Kozlova 6f7f761be5 IDEA-123338 2014-04-10 15:27:38 +02:00
Anna Kozlova 33f6d78833 testdata for IDEA-64103 2014-04-09 13:29:02 +02:00
Anna Kozlova 6e4249e5e1 diamonds: wrong constructor selected (IDEA-123518) 2014-04-09 11:29:27 +02:00