Anna Kozlova c06f66ab26 SOE with numeric conditional expressions when expression inside is not standalone ...

EA-78419 - SOE: InferenceSessionContainer.infer

2016-01-27 13:57:06 +03:00

..

AcceptFirstPairOfCommonSupertypesDuringUpUpIncorporation.java

new inference: stop at first common supertypes pair during incorporation of upper bounds (IDEA-147393)

2015-11-05 15:24:18 +01:00

AfterAbstractPipeline.java

…

ArrayPassedToVarargsMethod.java

…

ArrayTypeAssignability.java

subtyping constraint: accept array types if left type is assignable from array, e.g Serializable (IDEA-146592)

2015-10-20 20:58:49 +02:00

CallToGenericMethodsOfNonGenericClassInsideRawInheritor.java

…

CaptureConstraint.java

new inference: correct capture incorporation (IDEA-149807)

2015-12-28 19:07:22 +01:00

CapturedReturnTypes.java

…

CapturedWildcardWithArrayTypeBound.java

new inference: process captured wildcard with array type bound

2015-12-02 10:57:27 +01:00

ChainedInference1.java

…

ChainedInference.java

…

ChainedInferenceTypeParamsOrderIndependent.java

…

ClsCapturedReturnTypes.java

…

ConditionalExpressionsInference.java

…

CyclicParamsDependency.java

…

DeepCallsChain.java

…

DefaultConstructorAsArgument.java

…

DiamondsUsedToDetectArgumentType.java

…

DiamondWithExactMethodReferenceInside.java

isPertinentToApplicability: check class type parameters if constructor is called with diamonds (IDEA-147619)

2015-11-09 19:08:30 +01:00

DisjunctionTypeEquality.java

…

DisjunctionTypes.java

inference: ensure to convert disjunction type to lub (IDEA-150364)

2016-01-14 16:18:20 +01:00

DoNotIgnoreConflictingUpperBounds.java

move inference error from element to method candidate to avoid overload method pollution; show inference error in the editor if applicability check was successful; register inference error if variable has incompatible upper bounds (IDEA-145106)

2015-11-16 10:05:50 +01:00

EliminateIntersectionTypeWildcardElimination.java

eliminate wildcards elimination in flattening intersection types (IDEA-143194); fully follow specification in determining target type - javac would be fixed (JDK-8142876), eclipse already obeys the spec

2015-11-12 20:14:15 +01:00

EnumConstantInference.java

…

ErasedByReturnConstraint.java

…

FreshVariablesCreatedDuringResolveDependingOnAlreadyResolvedVariables.java

…

GrandParentTypeParams.java

…

IDEA98866.java

…

IDEA104429.java

…

IDEA121055.java

…

IDEA126163.java

…

IDEA127928.java

…

IDEA128101.java

inference:incorporation optimization: skip variable's bound incorporation if the phase didn't change these bounds

2016-01-19 12:56:50 +01:00

IDEA128174.java

…

IDEA128766.java

…

IDEA130547.java

…

IDEA130549.java

…

IDEA132725.java

…

IDEA134277.java

…

IDEA143390.java

…

IDEA149774.java

testdata for IDEA-149774

2015-12-28 19:07:22 +01:00

IncompatibleBoundsFromAssignment.java

isApplicability check based on pertinentToApplicability

2015-11-30 15:11:41 +01:00

IncompleteSubstitution.java

…

IncorporationOfBoundsAsTypeArguments.java

new inference, incorporation step: ignore type arguments in bounds, retrieve upper bounds of captured wildcards (IDEA-145244)

2015-11-11 17:35:32 +01:00

IncorporationWithCaptureCalcGlbToGetOneTypeParameterBound.java

…

IncorporationWithEqualsBoundsSubstitution.java

…

IncorporationWithRawSubstitutors.java

incorporation: deal with PsiType.NULL (IDEA-147529)

2015-11-10 18:45:36 +01:00

InferenceForFirstArg.java

…

InferenceFromNotEqualTypeParamsBounds.java

new inference: don't push resolved vars in case of failed substitution

2015-11-24 10:30:21 +01:00

InferenceFromSiblings.java

…

InferenceFromTypeParamsBounds.java

…

InferFromConditionalExpressionCondition.java

…

InferFromTypeArgs.java

…

InfiniteTypes.java

…

IntersectionWithArray.java

isApplicability check based on pertinentToApplicability

2015-11-30 15:11:41 +01:00

JDK8028774.java

…

LiftedCaptureToOuterCall.java

…

MostSpecificVarargsCase.java

…

NestedCalls1.java

…

NestedCalls.java

…

NestedCallsSameMethod.java

…

NestedConditionalExpressions.java

…

NestedMethodCallsWithVarargs.java

…

OuterCallConflictResolution.java

isApplicability check based on pertinentToApplicability

2015-11-30 15:11:41 +01:00

OuterCallOverloads.java

…

OuterMethodCallOnRawType.java

…

OverloadChooserOfReturnType.java

…

PolyConditionalExpressionWithTargetPrimitive.java

conditional expression type: check poly expression first (IDEA-148965)

2015-12-08 09:37:18 +01:00

PrimitiveWrapperConditionInReturnConstraint.java

…

PullUncheckedWarningNotionThroughNestedCalls.java

new inference: pull erased flag through nested calls (IDEA-133613)

2015-12-28 19:07:22 +01:00

PushErasedStateToArguments.java

inference: cache erasure flag together with partial inference (IDEA-150802)

2016-01-25 18:52:15 +03:00

RawTypeFromParent.java

…

RawTypeFromParentArrayType.java

…

RecursiveCallsWithNestedInference.java

inference variables: ensure variable is not mixed with type parameter for recursive calls (IDEA-147639)

2015-11-09 19:08:30 +01:00

ReturnConstraintsWithCaptureIncorporationOfFreshVariables.java

…

ReturnStmt.java

…

SameMethodCalledWithDifferentArgsResultingInDependenciesBetweenSameTypeParams.java

…

SameMethodNestedChainedCallsNearFunctionInterfaces.java

…

SiteSubstitutionForReturnConstraint.java

…

SiteSubstitutionInExpressionConstraints.java

…

SOEDuringInferenceFromParamBounds.java

…

StaticInheritorsAmbiguity.java

…

StopAtStandaloneConditional.java

SOE with numeric conditional expressions when expression inside is not standalone

2016-01-27 13:57:06 +03:00

TargetTypeByAnonymousClass.java

…

TargetTypeByOverloadedMethod2.java

…

TargetTypeByOverloadedMethod.java

…

UncheckedConversionWithRecursiveTypeParams.java

…

VarargsOnNonPertinentPlace.java

…