Anna Kozlova 7249fd8179 lambda: missed ground type for target functional type (IDEA-149053)

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

..

AcceptInferredVariablesBeforeAdditionalConstraintsLeadToFail.java

new inference: report inference errors of containing call for lambdas

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

AdditionalConstraintDependsOnNonMentionedVars.java

new inference: resolve bounds which are not mentioned by additional constraints before starting algorithm

2014-03-13 15:15:11 +01:00

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

new inference: start inference from top to bottom; ensure getTargetType doesn't perform any inference; cache intermediate results

2015-11-19 10:47:21 +01:00

CheckedExceptionsConstraintsSubstitutions2.java

lambda: check assignment for proper types (IDEA-137564)

2015-03-12 19:14:19 +01:00

CheckedExceptionsConstraintsSubstitutions.java

new inference: checked exceptions inference, ensure throws bound are marked as such

2014-09-16 16:04:04 +04:00

CheckedExceptionsConstraintsSubstitutionsDeepInBody.java

new inference: infer exceptions for inner lambda body calls (IDEA-134225)

2014-12-17 20:13:46 +01:00

ControlFlowAnalysisFailedValueCompatibilityUnchanged.java

lambda: don't reject value compatibility for lambdas with control flow problems inside (IDEA-142107)

2015-07-14 18:38:43 +03:00

DeepNestedLambdaExpressionsNoFormalParams.java

new inference: accept deep nested lambdas (IDEA-125264)

2014-09-02 16:24:20 +04:00

DiamondInLambdaReturn.java

new inference: diamond in lambda return workaround

2014-03-03 13:43:46 +01:00

DownUpThroughLambdaReturnStatements.java

new inference: early abort calculation by lambda return (IDEA-124276)

2014-05-01 16:29:35 +04:00

Ellipsis.java

…

EnsureGroundTypeToGetLambdaParameterType.java

lambda: ensure ground type is taken before lambda parameter type is calculated (IDEA-129791)

2014-09-12 21:36:55 +04:00

EnsureNoCaptureIsPerformedOverTargetTypeOfCastExpressionWhichMarksFunctionalExpression.java

functional expression type: ensure no capture conversion is performed over target type of cast expression (IDEA-139824)

2015-05-11 18:04:30 +02:00

ExpectedReturnTypeInAnonymousInsideLambda.java

lambda: stop at method if it's located inside lambda (IDEA-131087)

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

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

testdata fixed

2014-06-02 15:18:17 +04:00

IDEA118965.java

testdata for IDEA-118965

2014-03-03 20:20:56 +01:00

IDEA118965comment.java

testdata for IDEA-118965

2014-03-06 10:15:24 +01:00

IDEA119003.java

simplified testdata

2014-07-02 11:00:54 +02:00

IDEA119535.java

new inference: ignore return dependencies of a variable when proper bound is present (IDEA-119535)

2014-03-13 19:30:34 +01:00

IDEA120992.java

…

IDEA121315.java

new inference: cache lambda functional type during expression constraints reduction (IDEA-121315)

2014-03-06 10:15:23 +01:00

IDEA122074.java

testdata for IDEA-122074, IDEA-122084

2014-03-13 15:15:02 +01:00

IDEA122084.java

testdata for IDEA-122074, IDEA-122084

2014-03-13 15:15:02 +01:00

IDEA122406.java

new inference: use available in stack methods, do not cache if this info was used (IDEA-122406)

2014-03-26 18:54:41 +01:00

IDEA122616.java

IDEA-122616

2014-03-21 18:28:36 +01:00

IDEA122700.java

wildcard substitution partly reverted (IDEA-122700)

2014-03-24 20:22:26 +01:00

IDEA123731.java

testdata for IDEA-123731

2014-04-09 19:27:17 +02:00

IDEA123848.java

testdata for IDEA-123848

2014-04-11 17:06:06 +02:00

IDEA123869.java

testdata for IDEA-123869

2014-04-11 17:06:05 +02:00

IDEA123951.java

testdata to fix

2014-08-08 11:44:59 +04:00

IDEA123987.java

testdata for IDEA-123987

2015-02-13 21:28:47 +01:00

IDEA124190.java

method reference: take type args into account

2014-08-08 19:49:15 +04:00

IDEA124424.java

new inference: proceed with additional constraints when no nested calls available (IDEA-124424)

2014-08-12 19:35:37 +04:00

IDEA124547.java

testdata for IDEA-124547

2014-05-05 17:12:06 +04:00

IDEA124961_1_8_0_40.java

testdata for IDEA-124961

2015-02-13 21:28:46 +01:00

IDEA124961.java

testdata for IDEA-124961 according to 1.8.0_20-ea

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

IDEA124983.java

testdata to be fixed

2014-08-07 16:13:15 +02:00

IDEA125254.java

testdata for IDEA-125254

2014-06-24 16:01:53 +02:00

IDEA125674.java

new inference: postpone resolution of independent vars (IDEA-125674)

2014-08-08 19:49:14 +04:00

IDEA126056.java

lambda: fix parameter types comparing order (IDEA-126056)

2014-06-10 12:34:32 +04:00

IDEA126109.java

testdata for IDEA-126109

2014-07-01 15:50:08 +02:00

IDEA126778.java

testdata for IDEA-126778

2014-09-02 19:59:38 +04:00

IDEA126809.java

testdata for IDEA-126809

2014-07-02 16:35:25 +02:00

IDEA127124.java

testdata for IDEA-127124

2014-11-25 19:23:29 +01:00

IDEA127124comment.java

testdata for IDEA-127124 comment

2014-08-12 16:08:07 +04:00

IDEA127215.java

testdata for IDEA-127215

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

IDEA127596.java

lambda: do not start inference from void type (IDEA-127596)

2014-07-21 12:12:28 +02:00

IDEA130129.java

testdata for IDEA-130129

2014-09-29 16:09:18 +02:00

IDEA130920.java

testdata for IDEA-130920

2014-10-08 14:06:00 +02:00

IDEA131700.java

testdata for IDEA-131700

2014-10-23 14:46:29 +02:00

IDEA132253.java

testdata for IDEA-132253

2015-09-03 17:22:31 +03:00

IDEA133920.java

testdata for IDEA-133920

2015-09-03 17:22:29 +03:00

IDEA136325.java

testdata for IDEA-136325

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

IDEA136401.java

testdata for IDEA-136401

2015-09-03 17:22:27 +03:00

IDEA136759.java

new inference: nothing should be cached during overload resolution (IDEA-136759)

2015-02-24 19:18:57 +01:00

IDEA144840.java

testdata for IDEA-144840

2015-09-07 15:50:24 +03: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

calculate target type in the same way for statement/expressions lambdas

2014-05-01 15:33:13 +04:00

InfiniteLoopAndValueCompatibility.java

lambda isValueCompatible: ensure that normal completion is impossible for infinite loops (IDEA-137848)

2015-03-20 20:08:51 +01:00

IntersectionTypeOfDifferentParameterizationOfTheSameClassInNonWildcardParameterization.java

non wildcard parameterization: workaround problems caused by different parameterizations of the same class during glb algorithm (IDEA-132690)

2015-09-01 16:30:50 +03:00

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

new inference: collect nested calls from lambda return statements (JDK-8038747)

2014-04-01 10:19:01 +02:00

NestedLambdaCheckedExceptionsConstraints.java

new inference: prohibit substitution during checked exception constraint processing

2014-09-16 10:25:03 +04:00

NestedLambdaExpressions1.java

new inference: ignore trivial dependencies

2014-09-01 21:46:10 +04:00

NestedLambdaExpressionsNoFormalParams1.java

testdata for IDEA-129251

2014-09-01 21:46:11 +04:00

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

NestedLambdaExpressionsNoFormalParamsStopAtStandalone.java

new inference: standalong check with cached data (IDEA-128982)

2014-09-02 19:59:38 +04:00

NestedLambdaWithInferenceVariableAsTargetType.java

pertinent to applicability: reject nested lambdas if they target non proper type

2015-02-13 18:54:02 +01:00

NonAccessibleFunctionalInterfaceTypeArguments.java

error for not accessible types mentioned by inferred functional type (IDEA-143417)

2015-08-18 12:34:31 +02:00

OnlyLambdaAtTypeParameterPlace.java

new inference: report inference errors of containing call for lambdas

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

OuterMethodPropagation.java

…

OverloadResolutionSAM.java

lambda: highlight containing method ambiguity on method name: this avoids lots of lines of lambda body to be highlighted and it would show errors even if lambda body contains errors actually caused by the ambiguity on the parent level (IDEA-141580)

2015-06-18 17:54:23 +03:00

ParenthesizedExpressionsDuringConstrainsCollection.java

new inference: skip parenthesized expressions during additional constrains collection

2014-09-02 16:24:19 +04:00

PreserveCapturedWildcardsDuringNonWildcardParameterization.java

preserve captured wildcards during non wildcard parameterization (IDEA-132690)

2015-09-01 16:30:52 +03:00

PropertiesInsteadOfSiteSubstitutorIfAny.java

new inference: site substitution from remembered properties (IDEA-132417)

2014-11-06 19:11:31 +01:00

RecursiveAtSiteSubstitutorsWithAdditionalConstraints.java

recursive substitutors: additional constraints substitution should not repeat already performed substitution with site substitutor (IDEA-146841)

2015-10-26 18:56:03 +01:00

RecursiveCalls.java

new inference: start inference from top to bottom; ensure getTargetType doesn't perform any inference; cache intermediate results

2015-11-19 10:47:21 +01:00

SameParametrizationCheckTakesTypeParametersIntoAccount.java

new inference: same parametrization check tweaked (IDEA-130519)

2014-09-30 15:47:28 +02:00

TargetTypeConflictResolverShouldNotTryToEvaluateCurrentArgumentType.java

…

UseCalculatedSubstitutor.java

…

WildcardParameterization.java

…