Anna Kozlova 91779d0c81 check extends/implements list for nested classes of super type (IDEA-108287)

2013-06-03 22:25:28 +04:00

..

AnnotationsAsPartOfModifierList.java

…

Autoboxing.java

…

AutoboxingConstructors.java

…

AutoboxingMethods.java

…

BooleanInferenceFromIfCondition.java

inference from conditions (IDEA-101161)

2013-02-15 16:28:14 +01:00

CapturedWildcardAssignments.java

good code red fixed

2012-04-16 14:24:32 +02:00

CaptureTopLevelWildcardsForConditionalExpression.java

capture top level wildcards when choosing conditional expression type (~IDEA-16723)

2013-05-07 11:44:28 +02:00

ClassInheritance.java

…

ConditionalExpression.java

…

ContinueInferenceAfterFirstRawResult.java

continue inference after raw type detected; report raw after all args were processed with raw result only (IDEA-92273)

2012-10-13 15:31:50 +02:00

ConvertibleTypes.java

…

DeepConflictingReturnTypes.java

…

DifferentTypeParamsInOverloadedMethods.java

generics: distinguish same name type params for overloaded methods (IDEA-94084)

2012-11-02 20:42:05 +01:00

DisableCastingToNestedWildcards.java

forbid casting to nested wildcards (IDEA-71007)

2013-05-03 17:21:30 +02:00

DisableWithinBoundsCheckForSuperWildcards.java

do not check within bounds for super wildcards

2013-02-15 16:28:13 +01:00

DoNotAcceptLowerBoundIfRaw.java

generics: do not accept inferred lower bound when inferred through raw type (IDEA-93672)

2012-10-26 13:29:55 +02:00

Enum56239.java

enum initializer rules http://docs.oracle.com/javase/specs/jls/se7/html/jls-8.html#jls-8.9.2 (IDEA-56239)

2013-05-03 21:54:08 +02:00

Enum.java

implement methods in enum from super interface (IDEA-106310)

2013-04-29 20:26:56 +02:00

EnumWithAbstractMethods.java

highlight enum constant name when its body should contain some implementation (IDEA-98411)

2013-01-02 11:41:23 +01:00

ErasureTypeParameterBound.java

erasure: use before subst for type param bound (IDEA-98092)

2013-01-03 16:04:53 +01:00

Exceptions.java

…

ExplicitMethodParameters1.java

…

ExplicitMethodParameters.java

…

FailedInferenceWithBoxing.java

IDEA-94990: java 6 bug workaround

2012-11-15 19:15:14 +01:00

Fields.java

Highlight misplaced reference parameter lists

2012-09-11 19:31:55 +04:00

FixedFailedInferenceWithBoxing.java

IDEA-94990: java 6 bug workaround

2012-11-15 19:15:14 +01:00

FlattenIntersectionType.java

intersection type flattening: prefer non raw types (IDEA-95124)

2012-11-19 17:04:40 +01:00

ForeachTypes.java

…

GenericExtendException.java

…

GenericsOverrideMethodInRawInheritor.java

show error if override generics method in raw inheritor (comment IDEA-19718)

2013-05-07 13:43:26 +02:00

IDEA18425.java

testdata for IDEA-18425

2013-05-03 13:30:05 +02:00

IDEA20244.java

testdata for IDEA-20244

2013-05-03 13:30:11 +02:00

IDEA20573.java

testdata fo IDEA-20573

2013-05-03 13:30:10 +02:00

IDEA21597.java

testdata for IDEA-21597

2013-05-03 13:30:10 +02:00

IDEA21602_7.java

testdata for IDEA-21602

2013-05-03 13:30:09 +02:00

IDEA21602.java

testdata for IDEA-21602

2013-05-03 13:30:09 +02:00

IDEA22005.java

open capture at top level only when prepare variable type (IDEA-22005)

2013-05-03 20:40:19 +02:00

IDEA22079.java

testdata for IDEA-22079

2013-05-03 13:30:08 +02:00

IDEA27080.java

testdata for IDEA-27080

2013-05-03 13:30:07 +02:00

IDEA27185.java

testdata for IDEA-27185

2013-05-03 13:30:07 +02:00

IDEA57259.java

do not warn about reference to super member before call to super (IDEA-57259)

2013-05-08 16:03:27 +02:00

IDEA57264.java

SOE (IDEA-57264)

2012-10-23 21:08:47 +02:00

IDEA57265.java

testdata for IDEA-57265

2013-05-02 16:19:02 +02:00

IDEA57271.java

testdata for IDEA-57271

2013-05-02 16:19:02 +02:00

IDEA57272.java

testdata for IDEA-57272

2013-05-02 16:19:03 +02:00

IDEA57275.java

testdata for IDEA-57275

2012-10-23 18:07:14 +02:00

IDEA57284.java

testdata for IDEA-57284

2012-10-23 21:08:51 +02:00

IDEA57285.java

do not open wildcards accessing elements of array (IDEA-57285)

2013-05-03 10:17:26 +02:00

IDEA57286.java

testdata for IDEA-57286

2012-10-23 21:08:52 +02:00

IDEA57307.java

testdata for IDEA-57307

2012-10-23 21:08:53 +02:00

IDEA57308.java

testdata for IDEA-57308

2012-10-23 21:08:54 +02:00

IDEA57309.java

testdata for IDEA-57309

2012-10-23 21:08:56 +02:00

IDEA57310.java

testdata for IDEA-57310

2012-10-23 21:08:55 +02:00

IDEA57311.java

testdata for IDEA-57311

2012-10-23 21:08:55 +02:00

IDEA57315.java

testdata for IDEA-57315

2012-10-23 21:08:47 +02:00

IDEA57339.java

testdata for IDEA-57339

2012-05-03 09:19:01 +02:00

IDEA57340.java

do not create another capture when not necessary; capture should be the same when substitutor define such dependency (IDEA-57340; IDEA-5731)

2012-05-03 09:19:02 +02:00

IDEA57346.java

testdata for IDEA-57346

2012-10-23 21:08:50 +02:00

IDEA57378.java

testdata for IDEA-57378

2012-10-23 18:07:11 +02:00

IDEA57410.java

testdata for IDEA-57410

2012-10-23 21:08:39 +02:00

IDEA57411.java

testdata for IDEA-57411

2012-10-23 21:08:40 +02:00

IDEA57413.java

testdata for IDEA-57413

2013-05-02 16:19:01 +02:00

IDEA57446.java

testdata for IDEA-57446

2013-04-30 21:09:48 +02:00

IDEA57482.java

testdata for IDEA-57482

2013-05-02 14:53:02 +02:00

IDEA57484.java

testdata for IDEA-57484

2012-10-23 21:08:40 +02:00

IDEA57485.java

testdata for IDEA-57485

2012-10-23 21:08:41 +02:00

IDEA57486.java

testdata for IDEA-57486

2012-10-23 21:08:42 +02:00

IDEA57492.java

testdata for IDEA-57492

2012-10-23 21:08:42 +02:00

IDEA57493.java

testdata for IDEA-57493

2012-10-23 21:08:43 +02:00

IDEA57494.java

testdata for IDEA-57494

2012-10-23 21:08:45 +02:00

IDEA57495.java

testdata for IDEA-57495

2012-10-23 21:08:44 +02:00

IDEA57496.java

SOE (IDEA-57496)

2012-10-23 21:08:45 +02:00

IDEA57509.java

testdata for IDEA-57509

2012-10-23 21:08:38 +02:00

IDEA57533.java

testdata for IDEA-57533

2012-10-23 18:07:14 +02:00

IDEA57534.java

testdata for IDEA-57534

2013-05-02 14:52:59 +02:00

IDEA57539.java

testdata for IDEA-57539

2013-01-08 11:27:09 +01:00

IDEA57557.java

testdata for IDEA-57557

2012-10-23 18:07:12 +02:00

IDEA57563.java

testdata for IDEA-57563

2012-10-23 18:07:13 +02:00

IDEA57650.java

testdata for IDEA-57650

2012-10-23 18:07:10 +02:00

IDEA57667.java

testdata for IDEA-57667

2012-10-23 18:07:09 +02:00

IDEA57668.java

check reference type as type argument for constructor params (IDEA-57668)

2012-10-23 18:07:09 +02:00

IDEA57877.java

capture getClass type inside expressions list (IDEA-57877)

2013-05-06 21:21:51 +02:00

IDEA63291.java

good code is red: wildcard should check the bound if any in order to prove difference (IDEA-63291)

2012-04-05 19:08:45 +02:00

IDEA65066.java

testdata for IDEA-65066

2013-05-03 10:17:27 +02:00

IDEA66311_16.java

jdk7 incompatibility: red good code is green: always check signature erasure equals for jdk7 (IDEA-66311)

2012-04-05 09:57:04 +02:00

IDEA66311.java

jdk7 incompatibility: red good code is green: always check signature erasure equals for jdk7 (IDEA-66311)

2012-04-05 09:57:04 +02:00

IDEA67570.java

method conflicts: prefer method with more specific return type (IDEA-67570)

2013-01-08 13:44:08 +01:00

IDEA67571.java

testdata for IDEA-67571

2013-05-02 16:18:59 +02:00

IDEA67577.java

testdata for IDEA-67577

2013-05-02 16:19:00 +02:00

IDEA67597.java

testdata for IDEA-67597

2013-01-07 19:12:47 +01:00

IDEA67599.java

testdata for IDEA-67599

2012-10-23 18:07:08 +02:00

IDEA67667.java

testdata for IDEA-67667

2012-10-22 21:10:51 +02:00

IDEA67672.java

testdata for IDEA-67672

2012-10-22 21:10:50 +02:00

IDEA67677.java

test data for IDEA-67677

2013-04-30 21:09:48 +02:00

IDEA67681.java

testdata for IDEA-67681

2012-10-22 21:10:49 +02:00

IDEA67798.java

local classes visibility scope (IDEA-67798)

2013-04-30 21:09:49 +02:00

IDEA67861.java

type params: error for jdk < 1.7 (IDEA-67861)

2013-01-07 19:12:46 +01:00

IDEA67998.java

testdata for IDEA-67998

2013-05-03 13:30:03 +02:00

IDEA70370.java

java 7 vs java 6 & primitive varargs (IDEA-70370)

2012-11-04 18:45:43 +01:00

IDEA72912.java

test data for IDEA-72912

2012-04-14 19:14:01 +02:00

IDEA74899.java

testdata for IDEA-74899

2012-04-05 19:08:44 +02:00

IDEA76283.java

good code is red: take bounds into account during types agree (IDEA-76283)

2012-04-05 12:12:38 +02:00

IDEA77991.java

fix inference for object type arg

2012-04-05 19:08:45 +02:00

IDEA80386.java

good code red: do not allow unchecked conversions on deeper wildcard levels (IDEA-80386)

2012-04-03 19:19:44 +02:00

IDEA86875.java

testdata for IDEA-86875

2013-02-06 16:03:09 +04:00

IDEA88895.java

access for private members through type parameter bound is forbidden in jdk7 (IDEA-88895)

2012-08-01 16:54:10 +02:00

IDEA89771.java

testdata for IDEA-89771

2012-08-07 20:17:02 +04:00

IDEA89801.java

testdata for IDEA-89801

2012-08-07 20:17:03 +04:00

IDEA90802.java

generics: from same signature methods prefer methods without wildcards (IDEA-90802)

2012-10-31 17:49:55 +01:00

IDEA91626.java

IDEA-91626

2012-11-13 20:18:06 +01:00

IDEA92022.java

temp decline raw assignments (IDEA-92022)

2012-11-13 20:18:07 +01:00

IDEA94011.java

IDEA-94011

2012-11-02 13:31:41 +01:00

IDEA97276.java

isAssignable (IDEA-97276)

2012-12-12 15:59:15 +01:00

IDEA97888.java

IDEA-97888

2012-12-20 17:12:15 +01:00

IDEA98421.java

IDEA-98421 (parse super call type arguments)

2013-01-02 21:19:14 +01:00

IDEA99061.java

treat Object[] (IDEA-99061)

2013-01-15 12:49:02 +01:00

IDEA99347.java

prefer interface as super method when class extends unrelated class and interface (IDEA-99347)

2013-01-21 19:11:45 +04:00

IDEA103760.java

IDEA-103760

2013-03-27 09:20:02 +01:00

IDEA104100.java

testdata for IDEA-104100

2013-03-29 20:09:57 +01:00

IDEA104160.java

type parameter referenced from static context error (IDEA-104160)

2013-03-29 20:10:02 +01:00

IDEA104992.java

method applicability: do not check erased types if method was not called on raw type (IDEA-104992)

2013-04-24 14:14:49 +02:00

IDEA105695.java

provably distinct: ? extends A should be provably distinct from Object until A is not an Object (IDEA-105695)

2013-04-23 15:35:49 +02:00

IDEA105846.java

IDEA-105846

2013-05-16 11:29:27 +02:00

IDEA106964.java

IDEA-106964

2013-05-10 17:17:58 +02:00

IDEA107782.java

do not infer from parent when inference from bound result in a raw type (IDEA-107782)

2013-05-28 18:50:18 +04:00

IDEA107957.java

accept raw subtyping when instance method is called on raw type (IDEA-107957)

2013-05-28 18:50:17 +04:00

IDEA108287.java

check extends/implements list for nested classes of super type (IDEA-108287)

2013-06-03 22:25:28 +04:00

IDEADEV7337.java

…

IDEADEV10459.java

…

IDEADEV12951.java

…

IDEADEV13011.java

…

IDEADEV14006.java

…

IDEADEV14103.java

…

IDEADEV15534.java

…

IDEADEV23157.java

…

IDEADEV24166.java

…

IDEADEV25778.java

…

IDEADEV57343.java

replace <? extends Object> with <?> during substitution (IDEA-64775)

2012-04-16 14:24:33 +02:00

IllegalForwardReferenceInTypeParameterDefinition.java

illegal forward references in type parameter's declaration detection (< 1.7 IDEA-57260)

2013-05-08 15:09:27 +02:00

IllegalGenericTypeInInstanceof.java

illegal generics instanceof (IDEA-89765)

2012-08-06 12:41:58 +02:00

ImplementAnnotation.java

…

InaccessibleThroughWildcard.java

generics: inaccessible through wildcards bounds

2012-10-31 17:49:57 +01:00

IncompatibleReturnType.java

good code red: do not apply the same substitutor twice - lead to problems when params depend recursively (IDEA-91866)

2012-09-21 16:50:12 +02:00

InconvertibleTypes.java

testdata for IDEA-85887

2012-05-11 14:10:46 +04:00

InferenceWithBounds.java

…

InferenceWithBoxingCovariant.java

java 6 is free from boxing problem in covariant position

2012-11-16 12:23:24 +01:00

InferenceWithSuperBounds.java

…

InferenceWithUpperBoundPromotion.java

…

InheritedWithDifferentArgsInTypeParams.java

type parameter cannot be inherited with different arguments as well as any other class (IDEA-57324)

2013-05-08 15:09:26 +02:00

InheritFromTypeParameter.java

…

InnerClassRef.java

…

InstanceClassInStaticContextAccess.java

when detect inaccessible classes in static context take into account NewExpression qualifiers

2012-12-06 11:01:29 +01:00

IntersectionTypes.java

…

MethodCallOnRawTypesExtended.java

calls on raw type: need erasure

2013-03-01 20:05:19 +01:00

MethodCallParamsOnRawType.java

check erased types for method calls on raw exprs (IDEA-97952)

2012-12-27 20:14:17 +01:00

Methods.java

…

MethodSignatureEquality.java

good code is red: take bounds into account during types agree (IDEA-76283)

2012-04-05 12:12:38 +02:00

OverrideAtLanguageLevel5.java

…

OverrideAtLanguageLevel6.java

…

OverrideWithMoreSpecificReturn.java

check overriding in correct order (IDEA-97506)

2012-12-14 18:36:43 +01:00

OverridingMethods.java

…

ParameterizedParameterBound.java

accept row types when bounds were parameterized issue (IDEA-94987)

2012-11-19 17:04:39 +01:00

PrivateInnerClassRef.java

…

Raw.java

…

RawOnParameterized.java

IDEA-94908: forbid to select raw type from parameterized parent

2012-11-14 19:22:02 +01:00

RawOverridingMethods.java

…

ReferenceTypeParams.java

isReifiable should not check outer class type params for static inners

2012-10-04 17:21:05 +02:00

SameErasure.java

…

SameErasureDifferentReturnTypes.java

…

SameErasureDifferentReturnTypesJdk14.java

…

SelectFromTypeParameter.java

select from type parameter error processing (IDEA-62453)

2013-05-07 17:19:57 +02:00

SOE.java

…

SpecificReturnType.java

check for specific return type should take substitutors into account (IDEA-95129)

2012-11-16 14:22:44 +01:00

StaticImports.java

…

StaticOverride.java

static override: search method in superclass by method signature from derived (IDEA-93043)

2012-10-17 15:49:58 +02:00

SuperMethodCallWithErasure.java

…

SuperWildcardIsNotWithinItsBound.java

check if super wildcard is within its bounds (IDEA-95065)

2012-11-15 21:37:07 +01:00

ThisAsAccessObject.java

IDEA-67859

2013-01-07 19:12:45 +01:00

TypeArgsOnRaw.java

…

TypeArgumentsGivenOnAnonymousClassCreation.java

forbid type annotations on anonymous class creation with interface base class (IDEA-67598)

2012-10-23 18:07:07 +02:00

TypeArgumentsGivenOnRawType.java

select from type parameter error processing (IDEA-62453)

2013-05-07 17:19:57 +02:00

TypeArgumentsOnRawType17.java

Type arguments of a raw method (IDEA-57277)

2013-05-08 11:44:11 +02:00

TypeArgumentsOnRawType.java

Type arguments of a raw method (IDEA-57277)

2013-05-08 11:44:11 +02:00

TypeInference.java

…

TypeParameterBoundsList.java

…

TypeParameterBoundVisibility.java

testdata for IDEA-67678

2012-10-22 21:10:51 +02:00

TypeParameterBoundVisibilityJdk14.java

additional testdata for inaccessible type params members from IDEA-66305

2012-04-05 09:57:05 +02:00

TypeParamsCyclicInference.java

detect type parameters cyclic inference

2013-05-07 17:19:58 +02:00

TypeWithinItsWildcardBound.java

…

UncheckedCasts.java

unchecked cast to captured wildcards (IDEA-21547)

2012-11-04 14:26:18 +01:00

UncheckedOverriding.java

…

UncheckedWarningsLevel6.java

test data fo IDEA-57337

2012-05-03 09:19:01 +02:00

Unused.java

…

Varargs.java

…

Variance.java

good code red: array access expr type should be treated as variable type (IDEA-67675)

2012-10-19 18:44:41 +02:00

WideningCastToTypeParam.java

…

WildcardCastConversion.java

type distinct prover symmetry

2013-05-06 17:30:07 +02:00

WildcardsBoundsIntersection.java

composition of extends/super wildcard reworked (IDEA-96721)

2012-12-14 18:36:42 +01:00

WildcardsOnRawTypes.java

check erased types for first param applicability if method substitutor is raw

2013-02-20 14:26:28 +01:00

WildcardTypes.java

captured wildcards on the first level do not prevent binary operator to be applicable (IDEA-89640)

2012-09-14 14:54:24 +04:00