 Anna Kozlova
|
477689db69
|
testdata for IDEA-57361
|
2015-05-21 10:00:29 +02:00 |
|
|
Anna Kozlova
|
fea58865be
|
captured wildcards: refactor to extract same parts for extends/super wildcards, ensure upper bound is not lost for extends wildcard (IDEA-57292)
|
2015-05-21 10:00:23 +02:00 |
|
|
Anna Kozlova
|
443fda57f5
|
testdata for IDEA-57336
|
2015-05-20 10:47:23 +02:00 |
|
|
Anna Kozlova
|
8dae96f46f
|
testdata for IDEA-139067
|
2015-05-20 10:47:22 +02:00 |
|
|
Anna Kozlova
|
fdbfd64350
|
ensure enum constructors are private (IDEA-139065)
|
2015-05-12 17:07:08 +02:00 |
|
|
Anna Kozlova
|
1d6a1bf27e
|
accept casts as unchecked from generic types with type parameter with upper bounds as type argument: check parameter bounds first
|
2015-05-12 17:07:05 +02:00 |
|
|
Anna Kozlova
|
21f187bd44
|
separate capture conversion from substitution
|
2015-04-27 09:32:20 +02:00 |
|
|
Anna Kozlova
|
2318a3a58c
|
capture conversion: collect all type parameter's bounds during capture conversion; make sure collected upper bound is used after capture type is normalized
|
2015-04-20 10:19:20 +02:00 |
|
|
Anna Kozlova
|
765f6faa19
|
SOE on infinite types with super wildcards (IDEA-138880; IDEA-77600)
|
2015-04-08 13:12:21 +02:00 |
|
|
Anna Kozlova
|
5ed4840dad
|
make capture<? super Object> == Object
|
2015-03-23 20:33:19 +01:00 |
|
|
Anna Kozlova
|
1bf1a2cc13
|
do not report weaker access assignability higher in the hierarchy (IDEA-137533)
|
2015-03-13 14:32:10 +01:00 |
|
|
Anna Kozlova
|
f19a6c1ed8
|
testdata for IDEA-58687
(cherry picked from commit 0be74138c6c6c288887944c26107a5d47bc5cd09)
|
2015-03-11 20:27:31 +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 |
|
|
Anna Kozlova
|
3d9f911dc3
|
type distinct: allow comparisons of type X<? extends Object> == X<array> (IDEA-135041)
|
2015-01-08 19:54:22 +01:00 |
|
|
Anna Kozlova
|
811234ec46
|
captures: replace type parameter in capture on substitution
|
2014-12-16 10:45:03 +01:00 |
|
|
Anna Kozlova
|
7933aad974
|
captures: distinguish by type parameters in method return type evaluation context
|
2014-12-16 10:45:02 +01:00 |
|
 Alexey Kudravtsev
|
6ce8da783c
|
fix RefCountHolder to avoid "all yellow" syndrome, highlighting cleanup
|
2014-11-28 14:26:06 +03:00 |
|
|
Anna Kozlova
|
152df440c6
|
method call type: erasure should not be applied if method doesn't have type params; < 1.8 (IDEA-132810)
|
2014-11-25 17:13:03 +01:00 |
|
|
Anna Kozlova
|
b5a7fdbbf8
|
retrieve expected type by containing array creation expression (IDEA-132794)
|
2014-11-12 19:38:03 +01:00 |
|
|
Anna Kozlova
|
5f147eff7e
|
fix comparison level when checking type arguments applicability (IDEA-132063)
|
2014-10-31 14:23:41 +01:00 |
|
|
Anna Kozlova
|
113d5db581
|
testdata for IDEA-65386
|
2014-10-30 18:41:02 +01:00 |
|
|
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 |
|