Anna Kozlova e7c7fab136 stop at lambda also if it is explicitly typed ...

EA-78231 - SOE: InferenceSessionContainer.infer

2016-02-03 12:39:27 +03:00

..

AcceptInferredVariablesBeforeAdditionalConstraintsLeadToFail.java

new inference: report inference errors of containing call for lambdas

2015-11-20 21:47:13 +01:00

AdditionalConstraintDependsOnNonMentionedVars.java

…

AdditionalConstraintsReduceOrder.java

…

AdditionalConstraintSubstitution.java

…

AfterAbstractPipeline2.java

…

ArgumentOfAnonymousClass.java

…

CaptureInReturnStatementOfLambdaExpression.java

do not open capture when method call type is calculated

2015-12-03 12:18:25 +01:00

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

CheckedExceptionsConstraintsSubstitutions2.java

…

CheckedExceptionsConstraintsSubstitutions.java

…

CheckedExceptionsConstraintsSubstitutionsDeepInBody.java

…

CodeBlockLambdaWithIsValueCompatibleChecks.java

inference: stop tree up traversal when lambda expression is currently checked

2016-01-08 20:15:17 +01:00

CodeBlockLambdaWithoutParamsIsValueCompatibleChecks.java

stop at lambda also if it is explicitly typed

2016-02-03 12:39:27 +03:00

ControlFlowAnalysisFailedValueCompatibilityUnchanged.java

…

DeepNestedLambdaExpressionsNoFormalParams.java

…

DiamondInLambdaReturn.java

…

DownUpThroughLambdaReturnStatements.java

…

Ellipsis.java

…

EnsureGroundTypeToGetLambdaParameterType.java

…

EnsureNoCaptureIsPerformedOverTargetTypeOfCastExpressionWhichMarksFunctionalExpression.java

…

ExpectedReturnTypeInAnonymousInsideLambda.java

…

FunctionalInterfacesCalculation.java

…

GroundTargetTypeForExpectedReturnTypeOfLambdaExpression.java

lambda: missed ground type for target functional type (IDEA-149053)

2015-12-09 22:03:56 +01:00

GroundTargetTypeForImplicitLambdas.java

…

IDEA93586.java

…

IDEA106670.java

captured wildcards: don't open unpredictably, treat as type, not type argument (IDEA-148348)

2015-11-26 19:23:09 +01:00

IDEA112922.java

…

IDEA113504.java

…

IDEA113573.java

…

IDEA116252.java

…

IDEA116548.java

…

IDEA117124.java

…

IDEA118362.java

…

IDEA118965.java

…

IDEA118965comment.java

…

IDEA119003.java

…

IDEA119535.java

…

IDEA120992.java

…

IDEA121315.java

…

IDEA122074.java

…

IDEA122084.java

…

IDEA122406.java

…

IDEA122616.java

…

IDEA122700.java

…

IDEA123731.java

…

IDEA123848.java

…

IDEA123869.java

…

IDEA123951.java

…

IDEA123987.java

…

IDEA124190.java

…

IDEA124424.java

…

IDEA124547.java

…

IDEA124961_1_8_0_40.java

…

IDEA124961.java

…

IDEA124983.java

…

IDEA125254.java

…

IDEA125674.java

…

IDEA126056.java

…

IDEA126109.java

…

IDEA126778.java

…

IDEA126809.java

…

IDEA127124.java

…

IDEA127124comment.java

…

IDEA127215.java

testdata for IDEA-127215

2015-12-03 19:11:09 +01:00

IDEA127596.java

…

IDEA130129.java

…

IDEA130920.java

…

IDEA131700.java

…

IDEA132253.java

…

IDEA133920.java

…

IDEA136325.java

testdata for IDEA-136325

2015-12-02 15:42:02 +01:00

IDEA136401.java

…

IDEA136759.java

…

IDEA144840.java

…

IDEA149224.java

testdata for IDEA-149224

2015-12-28 10:27:00 +01:00

IDEA149670.java

testdata for IDEA-149670

2015-12-28 14:57:27 +01:00

IDEA149709.java

testdata for IDEA-149709

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

IncludeConstraintsWhenParentMethodIsDuringCalculation.java

new inference: provide diagnostics on failed inference (strict subtyping constraints); don't resolve vars before incorporate - this way captures won't be opened too early

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

InferenceFromReturnStatements.java

…

InfiniteLoopAndValueCompatibility.java

…

IntersectionTypeOfDifferentParameterizationOfTheSameClassInNonWildcardParameterization.java

…

IntersectionTypesDuringInference.java

…

LiftedIntersectionType.java

new overload resolution: first check that collected methods are potentially compatible with args; for generic methods without specified type arguments this already means that they are applicable; for non generic methods (or raw method calls) expressions should be compatible with parameter types (formal parameter types = actual types as substitutor is known) (IDEA-147798)

2015-11-20 18:22:02 +01:00

MissedSiteSubstitutorDuringDeepAdditionalConstraintsGathering.java

…

NestedCallsInsideLambdaReturnExpression.java

…

NestedLambdaCheckedExceptionsConstraints.java

…

NestedLambdaExpressions1.java

…

NestedLambdaExpressionsNoFormalParams1.java

…

NestedLambdaExpressionsNoFormalParams.java

overload resolution: don't skip errors from another context (IDEA-151119)

2016-02-02 14:38:40 +03:00

NestedLambdaExpressionsNoFormalParamsStopAtStandalone.java

…

NestedLambdaWithInferenceVariableAsTargetType.java

…

NonAccessibleFunctionalInterfaceTypeArguments.java

…

OnlyLambdaAtTypeParameterPlace.java

new inference: report inference errors of containing call for lambdas

2015-11-20 21:47:13 +01:00

OuterMethodPropagation.java

…

OverloadResolutionSAM.java

…

ParenthesizedExpressionsDuringConstrainsCollection.java

…

PreserveCapturedWildcardsDuringNonWildcardParameterization.java

…

PropertiesInsteadOfSiteSubstitutorIfAny.java

…

RecursiveAtSiteSubstitutorsWithAdditionalConstraints.java

…

RecursiveCalls.java

…

ResolveOrderShouldTakeIntoAccountDependenciesOfAlreadyResolvedVars.java

new inference: already resolved vars can't have bounds problems (IDEA-149740)

2015-12-29 16:46:58 +01:00

SameParametrizationCheckTakesTypeParametersIntoAccount.java

…

TargetTypeConflictResolverShouldNotTryToEvaluateCurrentArgumentType.java

…

UseCalculatedSubstitutor.java

…

WildcardParameterization.java

…