Anna Kozlova 7bdb789b45 new inference: ...

reject inference if lower and equals bounds do not agree;
 -> inference variable should fill extends list types with it's upper bounds as they are correctly substituted with session's inference variables, otherwise incorporation up-up rule could get refs to initial type parameter instead of correct inference variable

2015-02-19 18:07:54 +01:00

..

AfterAbstractPipeline.java

…

ArrayPassedToVarargsMethod.java

…

CallToGenericMethodsOfNonGenericClassInsideRawInheritor.java

…

CapturedReturnTypes.java

…

ChainedInference1.java

…

ChainedInference.java

…

ChainedInferenceTypeParamsOrderIndependent.java

…

ClsCapturedReturnTypes.java

…

ConditionalExpressionsInference.java

…

CyclicParamsDependency.java

…

DeepCallsChain.java

…

DefaultConstructorAsArgument.java

…

DiamondsUsedToDetectArgumentType.java

…

ErasedByReturnConstraint.java

…

FreshVariablesCreatedDuringResolveDependingOnAlreadyResolvedVariables.java

…

GrandParentTypeParams.java

…

IDEA98866.java

…

IDEA104429.java

…

IDEA121055.java

…

IDEA126163.java

…

IDEA127928.java

…

IDEA128101.java

…

IDEA128174.java

…

IDEA128766.java

…

IDEA130547.java

…

IDEA130549.java

…

IDEA132725.java

testdata for IDEA-132725

2014-11-12 19:37:58 +01:00

IncompatibleBoundsFromAssignment.java

…

IncompleteSubstitution.java

…

IncorporationWithEqualsBoundsSubstitution.java

…

InferenceForFirstArg.java

…

InferenceFromNotEqualTypeParamsBounds.java

…

InferenceFromSiblings.java

…

InferenceFromTypeParamsBounds.java

…

InferFromConditionalExpressionCondition.java

…

InferFromTypeArgs.java

…

InfiniteTypes.java

…

JDK8028774.java

…

LiftedCaptureToOuterCall.java

…

MostSpecificVarargsCase.java

…

NestedCalls1.java

…

NestedCalls.java

…

NestedCallsSameMethod.java

…

OuterCallConflictResolution.java

…

OuterCallOverloads.java

…

OverloadChooserOfReturnType.java

…

PrimitiveWrapperConditionInReturnConstraint.java

…

RawTypeFromParent.java

…

RawTypeFromParentArrayType.java

…

ReturnStmt.java

…

SameMethodNestedChainedCallsNearFunctionInterfaces.java

…

SiteSubstitutionForReturnConstraint.java

…

SiteSubstitutionInExpressionConstraints.java

…

SOEDuringInferenceFromParamBounds.java

new inference:

2015-02-19 18:07:54 +01:00

StaticInheritorsAmbiguity.java

…

TargetTypeByAnonymousClass.java

…

TargetTypeByOverloadedMethod2.java

…

TargetTypeByOverloadedMethod.java

…

UncheckedConversionWithRecursiveTypeParams.java

…

VarargsOnNonPertinentPlace.java

…