Commit Graph
40 Commits
Author SHA1 Message Date
Anna Kozlova 4afc0327aa testdata for IDEA-57502 2015-05-21 10:00:41 +02:00
Anna Kozlova c0258b3e2d testdata for IDEA-139090 2015-05-21 10:00:39 +02:00
Anna Kozlova 5eb8d5a8e6 testdata for IDEA-57320 2015-05-21 10:00:38 +02:00
Anna Kozlova d64ec6f997 testdata for IDEA-57362 2015-05-21 10:00:36 +02:00
Anna Kozlova eb0904cfd9 testdata for IDEA-57322 2015-05-21 10:00:34 +02:00
Anna Kozlova 97d8c99958 testdata for IDEA-57314 2015-05-21 10:00:33 +02:00
Anna Kozlova 819f620cc8 testdata for IDEA-57387 2015-05-21 10:00:28 +02:00
Anna Kozlova 59f4b04154 testdata for IDEA-57313 2015-05-21 10:00:26 +02:00
Anna Kozlova 6f657b665f testdata for IDEA-67745 2015-05-21 10:00:25 +02:00
Anna Kozlova 6b65d86df3 testdata for IDEA-139069 2015-05-20 10:47:25 +02:00
Anna Kozlova f5cec5e24a intersection in cast type: repeat interface, different parameterization checks 2015-04-20 10:19:22 +02:00
Anna Kozlova e315ef4b41 TypeName.super.foo() when TypeName denotes interface 2015-01-31 21:29:22 +03:00
Anna Kozlova 1ed0901d4b new inference: reject equals bounds contradicting lower bounds 2014-12-17 09:57:48 +01:00
Anna Kozlova f217ed47c4 new inference: reject contradicting equals bounds 2014-12-17 09:57:47 +01:00
Anna Kozlova e0b2d2d8f0 new inference: process wildcards captured bounds 2014-12-17 09:57:45 +01:00
Anna Kozlova 2ecc4272ac merge unused declaration and unused symbol inspections 2014-10-14 10:24:58 +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 39154531ec unchecked warning: do not traverse through lambda bounds (IDEA-130810) 2014-10-06 10:39:43 +02:00
Alexey Kudravtsev 2036285ee6 scary racy field removed 2014-09-03 16:18:55 +04:00
Anna Kozlova 158a01135c regression testdata added 2014-08-29 14:36:54 +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 4131ada075 testdata for IDEA-78402 2014-08-18 21:45:31 +04:00
Anna Kozlova b55c83742b new inference: processing of compound bounds 2014-03-27 20:54:27 +01:00
Anna Kozlova e55a20cc24 raw substitutor when erasure happened during inference 2014-03-27 20:54:26 +01:00
Anna Kozlova 40424a1615 wildcard substitution partly reverted (IDEA-122700) 2014-03-24 20:22:26 +01:00
Anna Kozlova 9845ef2fd8 new inference: capture nested call case fixed (~Collections) 2014-03-21 13:16:46 +01:00
Anna Kozlova e6547e3991 poly conditional expression type = target type (IDEA-122401) 2014-03-19 19:32:35 +01:00
Anna Kozlova 1b0e87f99e java 8: allow to cast to intersection types 2014-02-19 09:46:17 +01:00
Anna Kozlova bd681beb26 new inference: 18.5.2 adjustments 2014-02-19 09:46:15 +01:00
Anna Kozlova 19ba9d8c8d new inference: resolve 2014-02-19 09:46:05 +01:00
Anna Kozlova 31aba54296 new inference: choosing the most specific method inference 2014-02-13 16:41:20 +01:00
Anna Kozlova 021c0c891e new inference: stop inference if false was inferred 2014-02-12 09:46:33 +01:00
anna 5224872dcc testdata for IDEA-114797 2013-12-05 17:14:36 +01:00
anna 834793e8f3 mock 1.8 jdk
(cherry picked from commit 86b3924bc3c6dca79f9d5f75bc5e93307a5da4f4)
2013-11-28 12:21:34 +01:00
anna a9bc9bfb6d check bounds should ignore recursive substitution also when wildcard is captured
(cherry picked from commit bb08b50baa9e80cf8f99a87e1d8d040bb099e12c)
2013-11-25 16:47:51 +01:00
anna b8c1c38788 new inference: raise a conflict for 2 captured wildcards as equality constraints
(cherry picked from commit 52bf5c35f05483ed957af17eb80b1b70cd3ed1c9)
2013-11-25 16:47:50 +01:00
anna d37bf95925 disable tests for a while
(cherry picked from commit ad536eda6f2b09b366dae6ab2322526e32558eb6)
2013-11-25 16:47:31 +01:00
anna a902c4ee87 testdata fixed 2013-11-08 11:06:57 +01:00
anna 584cea2dbb temp disable tests 2013-09-26 19:16:13 +02:00
anna 2ea47e35b1 new inference: move test 2013-09-26 19:16:12 +02:00