anna 3df31c5805 type distinct prover symmetry

2013-05-06 17:30:07 +02: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

…

ClassInheritance.java

…

ConditionalExpression.java

…

ContinueInferenceAfterFirstRawResult.java

…

ConvertibleTypes.java

…

DeepConflictingReturnTypes.java

…

DifferentTypeParamsInOverloadedMethods.java

…

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

…

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

…

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

…

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

IDEA57264.java

…

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

…

IDEA57284.java

…

IDEA57285.java

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

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

IDEA57286.java

…

IDEA57307.java

…

IDEA57308.java

…

IDEA57309.java

…

IDEA57310.java

…

IDEA57311.java

…

IDEA57315.java

…

IDEA57339.java

…

IDEA57340.java

…

IDEA57346.java

…

IDEA57378.java

…

IDEA57410.java

…

IDEA57411.java

…

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

…

IDEA57485.java

…

IDEA57486.java

…

IDEA57492.java

…

IDEA57493.java

…

IDEA57494.java

…

IDEA57495.java

…

IDEA57496.java

…

IDEA57509.java

…

IDEA57533.java

…

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

…

IDEA57563.java

…

IDEA57650.java

…

IDEA57667.java

…

IDEA57668.java

…

IDEA63291.java

…

IDEA65066.java

testdata for IDEA-65066

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

IDEA66311_16.java

…

IDEA66311.java

…

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

…

IDEA67667.java

…

IDEA67672.java

…

IDEA67677.java

test data for IDEA-67677

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

IDEA67681.java

…

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

…

IDEA72912.java

…

IDEA74899.java

…

IDEA76283.java

…

IDEA77991.java

…

IDEA80386.java

…

IDEA86875.java

testdata for IDEA-86875

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

IDEA88895.java

…

IDEA89771.java

…

IDEA89801.java

…

IDEA90802.java

…

IDEA91626.java

…

IDEA92022.java

…

IDEA94011.java

…

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

check for upper bound in wrapped wildcard (IDEA-105846)

2013-04-22 15:50:31 +02:00

IDEADEV7337.java

…

IDEADEV10459.java

…

IDEADEV12951.java

…

IDEADEV13011.java

…

IDEADEV14006.java

…

IDEADEV14103.java

…

IDEADEV15534.java

…

IDEADEV23157.java

…

IDEADEV24166.java

…

IDEADEV25778.java

…

IDEADEV57343.java

…

IllegalGenericTypeInInstanceof.java

…

ImplementAnnotation.java

…

InaccessibleThroughWildcard.java

…

IncompatibleReturnType.java

…

InconvertibleTypes.java

…

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

…

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

…

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

…

SameErasure.java

…

SameErasureDifferentReturnTypes.java

…

SameErasureDifferentReturnTypesJdk14.java

…

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

…

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

…

TypeArgumentsGivenOnRawType.java

…

TypeInference.java

…

TypeParameterBoundsList.java

…

TypeParameterBoundVisibility.java

…

TypeParameterBoundVisibilityJdk14.java

…

TypeWithinItsWildcardBound.java

…

UncheckedCasts.java

…

UncheckedOverriding.java

…

UncheckedWarningsLevel6.java

…

Unused.java

…

Varargs.java

…

Variance.java

…

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

…