Anna.Kozlova 36b1e622eb inference: skip bounds checking for captured fresh variables (IDEA-187943)

2018-03-08 19:06:30 +01:00

..

AcceptInferredVariablesBeforeAdditionalConstraintsLeadToFail.java

calc types by applicability constraints if inference fails

2017-12-07 15:51:06 +01:00

AdditionalConstraintDependsOnNonMentionedVars.java

…

AdditionalConstraintsOrderWhenOutputVariablesAlreadyHaveProperEqualBound.java

inference: don't include constraints to resolve if input bounds have proper instantiation but depends on the output of another constraints (IDEA-153164)

2016-03-17 21:25:32 +01:00

AdditionalConstraintsReduceOrder.java

…

AdditionalConstraintSubstitution.java

…

AfterAbstractPipeline2.java

…

ArgumentOfAnonymousClass.java

…

ArrayNotAFunctionalInterface.java

ensure array is not accepted as functional interface (IDEA-172048)

2017-04-28 20:23:23 +02:00

AvoidPartlyRawTypesAsTheyWontBeTreatedAsWildcardParameterizedAnyway.java

new inference: avoid inferring partly raw types (in case of unchecked conversion resolve to eq/low bound or null if only upper is present) as these types won't be treated as wildcard parameterized ever (IDEA-150167)

2016-03-24 11:48:06 +01:00

CapturedWildcardNotOpenedDuringInference.java

testdata on javac issue

2017-04-26 16:28:04 +02:00

CaptureInReturnStatementOfLambdaExpression.java

do not open capture when method call type is calculated

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

CheckedExceptionsConstraintsSubstitutions1.java

inference errors: make applicability error thread safe so multiple threads can perform overload resolution of parent method calls independently, save presentable error when substitutor cached only

2017-05-08 12:12:13 +03: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

CLikeArrayDeclarationInLambdaWithExplicitTypes.java

lambda: proceed c-like arrays declarations in parameters for lambda with excplicit type declarations (IDEA-152690)

2016-03-09 14:23:53 +01:00

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

CollectLambdaAdditionalConstraintsByGroundType.java

ensure additional constrains are collected based on ground functional type (IDEA-167277)

2017-02-01 19:12:26 +01:00

ConditionalBooleanAsFunctionalInterfaceType.java

reject functional expressions as conditional condition (IDEA-184667)

2018-01-08 17:05:50 +01:00

ConditionalExpressionInLambdaReturns.java

lambda inference: conditional expressions in returns (IDEA-174301)

2017-06-13 16:12:45 +03: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

DeepChainOfNestedLambdasOverCachedTopLevel.java

new inference: forget nested states when expressions were processed second time (IDEA-153897)

2016-03-30 21:02:16 +02:00

DeepNestedLambdaExpressionsNoFormalParams.java

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

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

DiamondInLambdaReturn.java

…

DontWarnAboutNestedLambdaForAProblemInOuter.java

highlighting: don't add warning for nested lambda when problem is inside upper level (IDEA-155192)

2016-04-25 14:41:56 +02:00

DownUpThroughLambdaReturnStatements.java

…

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

ExceptionInferenceForVarargMethods.java

exception inference: don't check non-applicable methods (IDEA-178762)

2017-09-12 21:05:35 +03:00

ExceptionInLambdaBodyCheck.java

lambda.isValueCompatible should not cache inference results for calls inside lambda body as they may depend on incomplete top level inference where LambdaExpressionCompatibilityConstraint is reduced (IDEA-156311)

2016-05-20 18:52:45 +02:00

ExpectedReturnTypeInAnonymousInsideLambda.java

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

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

FieldReferencedFromLambdaInitializations.java

ensure non-initialized fields used inside lambdas are rejected if lambda is inside class initializer only (IDEA-154305)

2016-04-07 15:13:00 +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

…

GroundTargetTypeWhenAbstractMethodInSuperclass.java

ground type for explicitly typed lambda: add sam to target class substitution (IDEA-166662)

2017-01-18 12:11:17 +03:00

HighlightFaultyLambdaReturnExpression.java

lambda highlighting: if return statement has problem, try to highlight only corresponding return even if containing inference failed

2016-10-07 13:55:01 +02:00

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

…

IDEA118965comment.java

…

IDEA119003.java

simplified testdata

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

IDEA119535.java

…

IDEA120992.java

…

IDEA121315.java

…

IDEA122074.java

…

IDEA122084.java

…

IDEA122406.java

…

IDEA122616.java

…

IDEA122700.java

…

IDEA123731.java

…

IDEA123848.java

…

IDEA123869.java

…

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

…

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

inference errors: make applicability error thread safe so multiple threads can perform overload resolution of parent method calls independently, save presentable error when substitutor cached only

2017-05-08 12:12:13 +03: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

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

IDEA153284.java

testdata for IDEA-153284

2016-03-21 14:14:26 +01:00

IDEA153999.java

testdata for IDEA-153999

2016-04-01 16:53:23 +02:00

IDEA174924.java

testdata for IDEA-174924

2017-06-23 18:19:42 +03:00

IgnoreStandaloneExpressionsInLambdaReturnForNestedCalls.java

inference: skip standalone expressions in lambda returns (IDEA-171922)

2017-04-26 16:28:04 +02:00

IncludeConstraintsWhenParentMethodIsDuringCalculation.java

calc types by applicability constraints if inference fails

2017-12-07 15:51:06 +01:00

InferenceFromReturnLambdaStatementWhereContainingMethodNonGeneric.java

inference: retrieve type from containing call if the corresponding method is not generics (IDEA-151443)

2016-02-09 20:09:10 +01:00

InferenceFromReturnStatements.java

…

InferTypeParametersFromFunctionalInterfaceInputs.java

explicit right to left side assignment failure when inference breaks on return type (IDEA-152677)

2017-03-27 10:34:43 +02: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

…

LambdaChainWithCapturedWildcards.java

inference: skip bounds checking for captured fresh variables (IDEA-187943)

2018-03-08 19:06:30 +01:00

LambdaWithFormalTypeParameters.java

lambda constraints: proceed with return expressions (IDEA-175426)

2017-07-05 16:48:52 +02:00

LiftedIntersectionType.java

lambda highlighting: if return statement has problem, try to highlight only corresponding return even if containing inference failed

2016-10-07 13:55:01 +02:00

MissedSiteSubstitutorDuringDeepAdditionalConstraintsGathering.java

…

NestedCallsInsideLambdaReturnExpression.java

…

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

calc types by applicability constraints if inference fails

2017-12-07 15:51:06 +01:00

NestedLambdaExpressionsNoFormalParamsStopAtStandalone.java

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

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

NestedLambdasWithInferenceOfReturnTypeInTheLatestLambda.java

inference: don't fix the lambda return type for nested lambda processing (IDEA-169161)

2017-04-05 18:28:48 +02: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

calc types by applicability constraints if inference fails

2017-12-07 15:51:06 +01:00

OuterMethodPropagation.java

…

OverloadResolutionSAM.java

[tests] prepares Java tests for the language level raise

2017-03-24 13:19:01 +01:00

ParenthesizedExpressionsDuringConstrainsCollection.java

new inference: skip parenthesized expressions during additional constrains collection

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

PreserveCapturedWildcardAsLambdaParameterType.java

don't open captures on type computation (IDEA-154968)

2016-04-20 17:49:29 +02: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

RawSiteSubstitutorWithExpectedGenericsParameterType.java

inference: erasure functional type for raw substitutors (IDEA-154759)

2016-04-14 20:59:13 +02:00

RawSubstitutionForInterfaceMethod.java

lambda: don't hide raw substitutions in functional types hierarchies (IDEA-172301)

2017-05-04 20:29:52 +03: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

ResolveOrderShouldTakeIntoAccountDependenciesOfAlreadyResolvedVars.java

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

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

SameParametrizationCheckTakesTypeParametersIntoAccount.java

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

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

TargetTypeConflictResolverShouldNotTryToEvaluateCurrentArgumentType.java

…

UncheckedConstraintOnInferenceVariableWithProperUpperBound.java

inference: when unchecked conversion was applied, resolve variables against raw substitutor

2016-08-17 13:53:02 +03:00

UncheckedPartial.java

testdata on partially raw types inferred by javac

2016-05-09 19:42:35 +02:00

UnhandledExceptionInLambdaChain.java

inference: don't process lambda return expressions for void return type

2018-03-08 11:53:52 +01:00

UseCalculatedSubstitutor.java

…

VarargMethodWithThrownTypes.java

good code red: applicability check for non-generic method requires types calculation

2016-05-20 21:44:12 +02:00

VoidValueCompatibilityWithBreakInSwitch.java

can complete normally: break inside switch (IDEA-178304)

2017-09-04 12:28:22 +03:00

WildcardParameterization.java

…