Anna Kozlova 1ed0901d4b new inference: reject equals bounds contradicting lower bounds

2014-12-17 09:57:48 +01:00

..

AmbiguousTypeParamVsConcrete.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

AnnotationsAsPartOfModifierList.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

Autoboxing.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

AutoboxingConstructors.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

AutoboxingMethods.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

BooleanInferenceFromIfCondition.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

BoxingSpecific.java

…

CapturedWildcardAssignments.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

CaptureInsideNestedCalls.java

new inference: capture nested call case fixed (~Collections)

2014-03-21 13:16:46 +01:00

CaptureTopLevelWildcardsForConditionalExpression.java

…

CaptureWildcardsInTypeCasts.java

…

CastToIntersection.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

CastToIntersectionType.java

java 8: allow to cast to intersection types

2014-02-19 09:46:17 +01:00

ClassInheritance.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ConditionalExpression.java

…

ContinueInferenceAfterFirstRawResult.java

…

ConvertibleTypes.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

DeepConflictingReturnTypes.java

…

DifferentTypeParamsInOverloadedMethods.java

…

DisableCastingToNestedWildcards.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

DisableWithinBoundsCheckForSuperWildcards.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

DoNotAcceptLowerBoundIfRaw.java

…

Enum56239.java

…

Enum.java

…

EnumWithAbstractMethods.java

…

Erasure.java

raw substitutor when erasure happened during inference

2014-03-27 20:54:26 +01:00

ErasureTypeParameterBound.java

…

Exceptions.java

…

ExplicitMethodParameters.java

…

FailedInferenceWithBoxing.java

…

Fields.java

…

FixedFailedInferenceWithBoxing.java

…

FlattenIntersectionType.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ForeachTypes.java

correct level in highlighting:

2014-02-10 20:03:58 +04:00

GenericExtendException.java

…

GenericsOverrideMethodInRawInheritor.java

…

IDEA18425.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA20244.java

…

IDEA20573.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA21597.java

…

IDEA21602_7.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA21602.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA22005.java

…

IDEA22079.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA27080.java

…

IDEA27185.java

…

IDEA55510.java

…

IDEA57259.java

…

IDEA57264.java

…

IDEA57265.java

…

IDEA57271.java

…

IDEA57272.java

…

IDEA57275.java

…

IDEA57284.java

…

IDEA57285.java

…

IDEA57286.java

…

IDEA57289.java

…

IDEA57307.java

…

IDEA57308.java

…

IDEA57309.java

…

IDEA57310.java

…

IDEA57311.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IDEA57312.java

…

IDEA57315.java

…

IDEA57325.java

…

IDEA57334.java

…

IDEA57339.java

…

IDEA57340.java

new inference: reject contradicting equals bounds

2014-12-17 09:57:47 +01:00

IDEA57346.java

…

IDEA57378.java

…

IDEA57391.java

…

IDEA57410.java

…

IDEA57411.java

…

IDEA57413.java

new inference: reject equals bounds contradicting lower bounds

2014-12-17 09:57:48 +01:00

IDEA57439.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IDEA57446.java

…

IDEA57482.java

…

IDEA57484.java

…

IDEA57485.java

…

IDEA57486.java

…

IDEA57492.java

inference testdata fixed

2013-11-25 16:47:20 +01:00

IDEA57493.java

switch tests on new inference

2013-11-25 16:47:38 +01:00

IDEA57494.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IDEA57495.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IDEA57496.java

…

IDEA57509.java

…

IDEA57533.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IDEA57534.java

…

IDEA57539.java

…

IDEA57557.java

…

IDEA57563.java

…

IDEA57650.java

…

IDEA57667.java

…

IDEA57668.java

…

IDEA57877.java

new inference: symmetric variable bounds

2013-09-20 20:36:36 +04:00

IDEA63291.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA65066.java

…

IDEA66311_16.java

…

IDEA66311.java

…

IDEA67570.java

…

IDEA67571.java

…

IDEA67577.java

…

IDEA67584.java

…

IDEA67597.java

…

IDEA67599.java

…

IDEA67667.java

…

IDEA67672.java

…

IDEA67677.java

…

IDEA67681.java

…

IDEA67682.java

…

IDEA67744.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IDEA67798.java

…

IDEA67835.java

…

IDEA67843.java

inference testdata fixed

2013-11-25 16:47:20 +01:00

IDEA67861.java

…

IDEA67865.java

…

IDEA67998.java

…

IDEA70370.java

…

IDEA72912.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA74899.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA76283.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA77128.java

…

IDEA77991.java

…

IDEA78402.java

testdata for IDEA-78402

2014-08-18 21:45:31 +04:00

IDEA80386.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA86875.java

…

IDEA87860.java

…

IDEA88895.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA89771.java

…

IDEA89801.java

…

IDEA90802.java

…

IDEA91626.java

fix erasure of captures special case, not valid anymore for new compilers (IDEA-131348)

2014-10-17 21:03:34 +02:00

IDEA92022.java

…

IDEA94011.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IDEA97276.java

…

IDEA97888.java

…

IDEA98421.java

…

IDEA99061.java

…

IDEA99347.java

…

IDEA103760.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA104100.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA104160.java

…

IDEA104992.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA105695.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA105846.java

…

IDEA106964.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IDEA107440.java

…

IDEA107654.java

…

IDEA107782.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA107957.java

…

IDEA108287.java

…

IDEA109556.java

…

IDEA109875.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA110568.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA110869.java

…

IDEA110947.java

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

IDEA111085.java

…

IDEA112122.java

…

IDEA113225.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA114797.java

switch tests on new inference

2013-11-25 16:47:38 +01:00

IDEA122401.java

poly conditional expression type = target type (IDEA-122401)

2014-03-19 19:32:35 +01:00

IDEA128333.java

regression testdata added

2014-08-29 14:36:54 +04:00

IDEADEV7337.java

…

IDEADEV10459.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IDEADEV12951.java

…

IDEADEV13011.java

…

IDEADEV14006.java

…

IDEADEV14103.java

…

IDEADEV15534.java

new inference: reject contradicting equals bounds

2014-12-17 09:57:47 +01:00

IDEADEV23157.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEADEV24166.java

…

IDEADEV57343.java

new inference: 18.5.2 adjustments

2014-02-19 09:46:15 +01:00

IllegalForwardReferenceInTypeParameterDefinition.java

…

IllegalGenericTypeInInstanceof.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ImplementAnnotation.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

InaccessibleThroughWildcard.java

…

IncompatibleReturnType.java

…

InconvertibleTypes.java

…

InferenceWithBounds.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

InferenceWithBoxingCovariant.java

…

InferenceWithSuperBounds.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

InferenceWithUpperBoundPromotion.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

InferredParameterInBoundsInRecursiveGenerics.java

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)

2014-10-13 19:33:33 +02:00

InheritedWithDifferentArgsInTypeParams.java

A class may not at the same time be a subtype of two interface types which are different parameterizations of the same generic interface(IDEA-122475); revert workarounds for javac 6 bug

2014-03-20 20:05:27 +01:00

InheritFromTypeParameter.java

…

InnerClassRef.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

InstanceClassInStaticContextAccess.java

…

IntersectionTypes.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

MethodCallOnRawTypesExtended.java

…

MethodCallParamsOnRawType.java

…

Methods.java

…

MethodSignatureEquality.java

…

NoInferenceFromTypeCast.java

…

OverrideAtLanguageLevel6.java

…

OverrideWithMoreSpecificReturn.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ParameterizedParameterBound.java

…

PrivateInnerClassRef.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

Raw.java

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

RawAssignments.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

RawOnParameterized.java

…

RawOverridingMethods.java

…

ReferenceTypeParams.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

RejectContradictingEqualsBounds.java

new inference: reject contradicting equals bounds

2014-12-17 09:57:47 +01:00

RejectEqualsBoundsContradictingLowerBound.java

new inference: reject equals bounds contradicting lower bounds

2014-12-17 09:57:48 +01:00

SameErasure.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

SameErasureDifferentReturnTypes.java

…

SelectFromTypeParameter.java

…

SelfRef.java

…

SOE.java

fix RefCountHolder to avoid "all yellow" syndrome, highlighting cleanup

2014-11-28 14:26:06 +03:00

SOEInLeastUpperClass.java

poly conditional expression type = target type (IDEA-122401)

2014-03-19 19:32:35 +01:00

SpecificReturnType.java

…

StaticImports.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

StaticOverride.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

SuperMethodCallWithErasure.java

…

SuperWildcardCapturedSuperExtendsWildcardCapturedExtends.java

new inference: process wildcards captured bounds

2014-12-17 09:57:45 +01:00

SuperWildcardIsNotWithinItsBound.java

…

SuperWildcardWithBoundPromotion.java

new inference: reject contradicting equals bounds

2014-12-17 09:57:47 +01:00

ThisAsAccessObject.java

…

TypeArgsOnRaw.java

…

TypeArgumentsGivenOnAnonymousClassCreation.java

…

TypeArgumentsGivenOnRawType.java

…

TypeArgumentsOnRawType17.java

accept type arguments on raw types for > 1.6 javac

2013-10-01 21:42:31 +02:00

TypeArgumentsOnRawType.java

…

TypeInference.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

TypeParameterBoundsList.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

TypeParameterBoundVisibility.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

TypeParamsCyclicInference.java

…

TypeWithinItsWildcardBound.java

substitute bounds (IDEA-123509)

2014-04-29 18:54:59 +04:00

UncheckedCasts.java

substitution: do not open unbounded capture during substitution (IDEA-125423)

2014-10-17 21:05:53 +02:00

UncheckedOverriding.java

…

UncheckedWarningInsideLambdaReturnStatement.java

unchecked warning: do not traverse through lambda bounds (IDEA-130810)

2014-10-06 10:39:43 +02:00

UncheckedWarningsLevel6.java

…

Unused.java

…

Varargs.java

…

Variance.java

new inference: reject equals bounds contradicting lower bounds

2014-12-17 09:57:48 +01:00

WideningCastToTypeParam.java

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

WildcardBoundsCombination.java

new inference: processing of compound bounds

2014-03-27 20:54:27 +01:00

WildcardCastConversion.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

WildcardsBoundsIntersection.java

new inference: fresh variables

2014-08-21 18:14:27 +04:00

WildcardsOnRawTypes.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

WildcardTypes.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00