Anna Kozlova 21f187bd44 separate capture conversion from substitution

2015-04-27 09:32:20 +02:00

..

AmbiguousTypeParamVsConcrete.java

…

AnnotationsAsPartOfModifierList.java

…

AssignabilityBetweenWildcardsAndArrays.java

type distinct: allow comparisons of type X<? extends Object> == X<array> (IDEA-135041)

2015-01-08 19:54:22 +01:00

Autoboxing.java

…

AutoboxingConstructors.java

…

AutoboxingMethods.java

…

BooleanInferenceFromIfCondition.java

…

BoxingSpecific.java

…

CapturedWildcardAssignments.java

…

CaptureTopLevelWildcardsForConditionalExpression.java

…

CaptureWildcardFromUnboundCaptureWildcard.java

do not generate captured wildcard from unbound captured wildcard with same context

2014-09-04 15:07:13 +04:00

CaptureWildcardsInTypeCasts.java

…

CastConversionToTypeParameter.java

cast conversion: substitute type parameter bounds for recursive types (IDEA-136527)

2015-02-20 19:46:46 +01:00

CastObjectToIntJdk14.java

provide 'place' language level for convertible check to allow types from old libraries to be casted to primitives (IDEA-117684)

2014-05-31 20:36:04 +04:00

ClassInheritance.java

…

ConditionalExpression.java

…

ContinueInferenceAfterFirstRawResult.java

…

ConvertibleTypes.java

…

DeepConflictingReturnTypes.java

…

DifferentTypeParamsInOverloadedMethods.java

…

DisableCastingToNestedWildcards.java

…

DisableWithinBoundsCheckForSuperWildcards.java

…

DistinguishWildcardCapturesAlsoByMethodCalls.java

captures: distinguish by type parameters in method return type evaluation context

2014-12-16 10:45:02 +01:00

DoNotAcceptLowerBoundIfRaw.java

…

DontReportWeakerVisibilityProblemUpInHierarchy.java

do not report weaker access assignability higher in the hierarchy (IDEA-137533)

2015-03-13 14:32:10 +01:00

Enum56239.java

…

Enum.java

…

EnumWithAbstractMethods.java

…

ErasureTypeParameterBound.java

…

Exceptions.java

…

ExpectedTypeFromOuterArrayCreation.java

retrieve expected type by containing array creation expression (IDEA-132794)

2014-11-12 19:38:03 +01:00

ExplicitMethodParameters1.java

…

ExplicitMethodParameters.java

…

FailedInferenceWithBoxing.java

…

Fields.java

…

FixedFailedInferenceWithBoxing.java

…

FlattenIntersectionType.java

…

ForeachTypes.java

…

GenericExtendException.java

…

GenericsOverrideMethodInRawInheritor.java

…

HiddenMethodsOfAnonymousClass.java

anonymous type methods: remove too much intelligence (IDEA-130498)

2014-09-30 11:02:23 +02:00

IDEA18425.java

…

IDEA20244.java

…

IDEA20573.java

…

IDEA21597.java

…

IDEA21602_7.java

…

IDEA21602.java

…

IDEA22005.java

…

IDEA22079.java

…

IDEA24479.java

testdata for IDEA-24479

2014-05-13 18:34:56 +04:00

IDEA24496.java

testdata for IDEA-24496

2014-05-31 20:36:04 +04:00

IDEA27080.java

…

IDEA27185.java

…

IDEA54197.java

…

IDEA55510.java

testdata for IDEA-19800

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

IDEA57252.java

…

IDEA57259.java

…

IDEA57264.java

…

IDEA57265.java

…

IDEA57271.java

…

IDEA57272.java

…

IDEA57274.java

…

IDEA57275.java

…

IDEA57284.java

…

IDEA57285.java

…

IDEA57286.java

…

IDEA57289.java

…

IDEA57290.java

testdata for IDEA-57290

2014-05-31 21:04:56 +04:00

IDEA57293.java

testdata for IDEA-57293

2014-10-17 21:06:36 +02:00

IDEA57307.java

…

IDEA57308.java

…

IDEA57309.java

…

IDEA57310.java

…

IDEA57311.java

…

IDEA57312.java

…

IDEA57315.java

…

IDEA57325.java

…

IDEA57334.java

…

IDEA57338.java

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

IDEA57339.java

…

IDEA57340.java

IDEA-124019

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

IDEA57346.java

…

IDEA57378.java

…

IDEA57388.java

testdata for IDEA-57388

2014-06-02 20:00:33 +04:00

IDEA57391.java

…

IDEA57410.java

…

IDEA57411.java

…

IDEA57413.java

…

IDEA57439.java

…

IDEA57446.java

…

IDEA57482.java

…

IDEA57484.java

…

IDEA57485.java

…

IDEA57486.java

…

IDEA57492.java

…

IDEA57493.java

…

IDEA57494.java

…

IDEA57495.java

…

IDEA57496.java

…

IDEA57508.java

testdata for IDEA-57508

2014-10-17 21:06:14 +02:00

IDEA57509.java

…

IDEA57533.java

IDEA-124019

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

IDEA57534.java

…

IDEA57537.java

testdata for IDEA-57537

2014-10-17 21:08:07 +02:00

IDEA57539.java

…

IDEA57557.java

…

IDEA57563.java

…

IDEA57650.java

…

IDEA57667.java

…

IDEA57668.java

…

IDEA57877.java

…

IDEA58687.java

testdata for IDEA-58687

2015-03-11 20:27:31 +01:00

IDEA58692.java

testdata for IDEA-58692

2014-05-31 20:36:05 +04:00

IDEA59283.java

testdata for IDEA-59283

2014-10-17 21:06:57 +02:00

IDEA60818.java

…

IDEA60836.java

…

IDEA63291.java

…

IDEA63331.java

…

IDEA64103.java

testdata for IDEA-64103

2014-04-09 13:29:02 +02:00

IDEA65066.java

…

IDEA65377.java

…

IDEA65386.java

testdata for IDEA-65386

2014-10-30 18:41:02 +01:00

IDEA66311_16.java

…

IDEA66311.java

…

IDEA67518.java

…

IDEA67570.java

…

IDEA67571.java

…

IDEA67577.java

…

IDEA67578.java

testdata for IDEA-67578

2014-06-02 20:00:32 +04:00

IDEA67584.java

…

IDEA67591.java

…

IDEA67597.java

…

IDEA67599.java

…

IDEA67600.java

check to prevent contradicted intersection type (IDEA-67600)

2014-06-09 17:03:12 +04:00

IDEA67667.java

…

IDEA67672.java

…

IDEA67677.java

…

IDEA67681.java

…

IDEA67682.java

…

IDEA67744.java

…

IDEA67798.java

…

IDEA67835.java

…

IDEA67843.java

…

IDEA67861.java

…

IDEA67865.java

…

IDEA67998.java

…

IDEA70370.java

…

IDEA71582.java

…

IDEA72912.java

…

IDEA74899.java

…

IDEA76283.java

…

IDEA77128.java

…

IDEA77991.java

…

IDEA78402.java

testdata for IDEA-78402

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

IDEA80386.java

…

IDEA86875.java

…

IDEA87860.java

…

IDEA88895.java

…

IDEA89771.java

…

IDEA89801.java

…

IDEA90802.java

…

IDEA91626.java

…

IDEA92022.java

…

IDEA94011.java

…

IDEA97276.java

…

IDEA97888.java

…

IDEA98421.java

…

IDEA99061.java

…

IDEA99347.java

…

IDEA103760.java

…

IDEA104100.java

…

IDEA104160.java

…

IDEA104992.java

…

IDEA105695.java

…

IDEA105846.java

…

IDEA106964.java

…

IDEA106985.java

testdata for IDEA-106985

2014-09-04 15:07:13 +04:00

IDEA107440.java

…

IDEA107654.java

…

IDEA107782.java

…

IDEA107957.java

…

IDEA108287.java

…

IDEA109556.java

…

IDEA109875.java

…

IDEA110568.java

…

IDEA110869.java

IDEA-124019

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

IDEA110947.java

…

IDEA111085.java

…

IDEA112117.java

equality asymmetry fixed (IDEA-118533)

2014-05-31 20:36:03 +04:00

IDEA112122.java

…

IDEA113225.java

…

IDEA113526.java

…

IDEA113631.java

testdata for IDEA-113631

2014-10-17 21:07:20 +02:00

IDEA114797.java

testdata for IDEA-114797

2014-09-08 15:37:38 +04:00

IDEA114894.java

…

IDEA116493.java

…

IDEA117827.java

…

IDEA118037.java

…

IDEA118527.java

…

IDEA118533.java

type distinct prover asymmetry fixed (IDEA-118533)

2014-05-31 20:36:02 +04:00

IDEA118536.java

old inference: choose child type between types in subtypes constraint (IDEA-118536)

2014-05-30 23:31:13 +04:00

IDEA119546.java

…

IDEA119757.java

old inference: take only EQUALS bounds from sibling param (IDEA-119757)

2014-06-02 20:00:30 +04:00

IDEA120153.java

…

IDEA120563.java

…

IDEA121400.java

…

IDEA123316.java

…

IDEA123338.java

IDEA-123338

2014-04-10 15:27:38 +02:00

IDEA123352.java

ambiguity (IDEA-123352)

2014-04-03 17:15:53 +02:00

IDEA123509.java

substitute bounds (IDEA-123509)

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

IDEA123518.java

diamonds: wrong constructor selected (IDEA-123518)

2014-04-09 11:29:27 +02:00

IDEA124019.java

IDEA-124019

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

IDEA124271.java

IDEA-124271

2014-04-23 20:10:19 +02:00

IDEA124352.java

IDEA-124352

2014-04-25 14:21:53 +02:00

IDEA124363.java

type distinct prover for object/type parameter wildcard fixed IDEA-124363

2014-07-02 21:25:09 +02:00

IDEA125031.java

assignment fix for super wildcards (IDEA-125031)

2014-05-13 18:04:55 +04:00

IDEA125423.java

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

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

IDEA125744.java

old inference: ignore java 1.6 bug in new versions (IDEA-125744)

2014-05-30 23:31:15 +04:00

IDEA125800.java

accept intersection types in foreach stmts (IDEA-125800)

2014-06-03 11:31:16 +04:00

IDEA125816.java

enum constants access inside enum constant initializers fixed (IDEA-125816)

2014-06-03 11:31:18 +04:00

IDEA126633.java

provably distinct: continue to compare for nested levels (IDEA-126633)

2014-06-27 18:31:55 +02:00

IDEA126697.java

conditional expression: ensure return type is primitive short in case of short/byte branches (IDEA-126697)

2014-06-30 14:03:38 +02:00

IDEA127767.java

testdata for IDEA-127767

2014-10-07 18:25:02 +02:00

IDEADEV7337.java

…

IDEADEV10459.java

…

IDEADEV12951.java

…

IDEADEV13011.java

…

IDEADEV14006.java

…

IDEADEV14103.java

…

IDEADEV15534.java

separate capture conversion from substitution

2015-04-27 09:32:20 +02:00

IDEADEV23157.java

…

IDEADEV24166.java

…

IDEADEV25778.java

…

IDEADEV57343.java

…

IllegalForwardReferenceInTypeParameterDefinition.java

…

IllegalGenericTypeInInstanceof.java

…

ImplementAnnotation.java

…

InaccessibleThroughWildcard.java

…

IncompatibleReturnType.java

…

InconvertibleTypes.java

…

InferenceWithBounds.java

…

InferenceWithBoxingCovariant.java

…

InferenceWithSuperBounds.java

…

InferenceWithUpperBoundPromotion.java

…

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

InheritedWithDifferentArgsInTypeParams1.java

…

InheritedWithDifferentArgsInTypeParams.java

…

InheritFromTypeParameter.java

…

InnerClassRef.java

…

InstanceClassInStaticContextAccess.java

…

IntersectionTypes.java

…

MakeUseOfUpperBoundOfCaptureWildcardDuringNormalization.java

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

MethodCallOnRawTypesExtended.java

…

MethodCallParamsOnRawType.java

…

MethodCallTypeErasedWhenUncheckedConversionWasAppliedDuringApplicabilityCheck.java

erasure method call type if unchecked assignment was applied during applicability check (IDEA-67862)

2014-10-17 21:07:43 +02:00

MethodCallTypeNotErasedWhenUncheckedConversionWasAppliedButNoTypeParamsProvided.java

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

Methods.java

…

MethodSignatureEquality.java

…

NestedLevelsToCheckTypeArguments.java

fix comparison level when checking type arguments applicability (IDEA-132063)

2014-10-31 14:23:41 +01:00

NoInferenceFromTypeCast.java

…

OverrideAtLanguageLevel5.java

…

OverrideAtLanguageLevel6.java

…

OverrideWithMoreSpecificReturn.java

…

OverridingMethods.java

…

PairsWithSameErasure.java

highlight all pairs of methods with same erasures (IDEA-124116)

2014-04-23 16:33:43 +02:00

ParameterBoundsWithCapturedWildcard.java

check type argument is in type parameter's bounds: ensure that resulted intersection type is valid

2014-08-27 20:59:31 +04:00

ParameterizedParameterBound.java

…

PrivateInnerClassRef.java

…

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

…

RawOnParameterized.java

…

RawOverridingMethods.java

…

ReferenceTypeParams.java

…

SameErasure.java

…

SameErasureDifferentReturnTypes.java

…

SameErasureDifferentReturnTypesJdk14.java

…

SelectFromTypeParameter.java

…

SOE.java

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

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

SOEInInfiniteTypesWithSuperWildcards.java

SOE on infinite types with super wildcards (IDEA-138880; IDEA-77600)

2015-04-08 13:12:21 +02:00

SOEInLeastUpperClass.java

…

SpecificReturnType.java

…

StaticImports.java

…

StaticOverride.java

…

SubstituteTypeParameterOfCapturedWildcardOnSubstitution.java

captures: replace type parameter in capture on substitution

2014-12-16 10:45:03 +01:00

SubstitutorCaptureBoundComposition.java

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

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

SuperCaptureSubstitutionWhenTypeParameterHasUpperBounds.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

SuperMethodCallWithErasure.java

…

SuperObjectCapturedWildcardEquality.java

make capture<? super Object> == Object

2015-03-23 20:33:19 +01:00

SuperWildcardIsNotWithinItsBound.java

…

ThisAsAccessObject.java

…

TypeArgsOnRaw.java

…

TypeArgumentsGivenOnAnonymousClassCreation.java

…

TypeArgumentsGivenOnRawType.java

…

TypeArgumentsOnRawType17.java

…

TypeArgumentsOnRawType.java

…

TypeDistinctProverForWildcardAndTypeParameter.java

cast conversion applicable for wildcard vs type parameter if bounds agree (IDEA-75628)

2015-02-20 19:46:49 +01:00

TypeInference.java

…

TypeParameterBoundsList.java

…

TypeParameterBoundVisibility.java

…

TypeParameterBoundVisibilityJdk14.java

…

TypeParamsCyclicInference.java

…

TypeWithinItsWildcardBound.java

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

UncheckedCasts.java

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

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

UncheckedOverriding.java

…

UncheckedWarningsLevel6.java

…

UnrelatedReturnInTypeArgs.java

do not report unrelated return type error only for generics methods

2014-04-22 20:02:36 +02:00

Unused.java

…

Varargs.java

…

Variance.java

IDEA-124019

2014-04-29 18:54:56 +04: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

WildcardCastConversion.java

…

WildcardsBoundsIntersection.java

…

WildcardsOnRawTypes.java

…

WildcardTypes.java

…