Anna.Kozlova 07a332598a ensure additional constrains are collected based on ground functional type (IDEA-167277)

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

..

AcceptInferredVariablesBeforeAdditionalConstraintsLeadToFail.java

new inference: report inference errors of containing call for lambdas

2015-11-20 21:47:13 +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

…

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

CaptureInReturnStatementOfLambdaExpression.java

do not open capture when method call type is calculated

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

CheckedExceptionsConstraintsSubstitutions1.java

inference: register inference error when nested inference don't start as cached session already had errors

2016-10-21 18:07:07 +02:00

CheckedExceptionsConstraintsSubstitutions2.java

…

CheckedExceptionsConstraintsSubstitutions.java

…

CheckedExceptionsConstraintsSubstitutionsDeepInBody.java

…

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

ControlFlowAnalysisFailedValueCompatibilityUnchanged.java

…

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

lambda: do not distinguish between ellipsis and arrays for formal lambda params checks (IDEA-117124)

2013-11-28 12:21:37 +01:00

EnsureGroundTypeToGetLambdaParameterType.java

…

EnsureNoCaptureIsPerformedOverTargetTypeOfCastExpressionWhichMarksFunctionalExpression.java

…

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

…

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

switch tests on new inference

2013-11-25 16:47:38 +01:00

IDEA113504.java

switch tests on new inference

2013-11-25 16:47:38 +01:00

IDEA113573.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

IDEA116252.java

…

IDEA116548.java

new inference: isValueCompatible check during reduce (IDEA-116548)

2013-11-25 16:47:43 +01:00

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

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

…

IDEA123731.java

…

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

…

IDEA123987.java

testdata for IDEA-123987

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

IDEA124190.java

…

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

…

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

…

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

…

IDEA127124.java

…

IDEA127124comment.java

…

IDEA127215.java

inference: register inference error when nested inference don't start as cached session already had errors

2016-10-21 18:07:07 +02: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

…

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

…

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

IncludeConstraintsWhenParentMethodIsDuringCalculation.java

inference: register inference error when nested inference don't start as cached session already had errors

2016-10-21 18:07:07 +02: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

new inference: provide incomplete inference results for lambda (IDEA-162035; IDEA-155230)

2016-10-06 16:21:05 +02:00

InfiniteLoopAndValueCompatibility.java

…

IntersectionTypeOfDifferentParameterizationOfTheSameClassInNonWildcardParameterization.java

…

IntersectionTypesDuringInference.java

…

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

new inference: take into account site substitutors during additional constraints gathering

2014-02-20 20:27:38 +01:00

NestedCallsInsideLambdaReturnExpression.java

…

NestedLambdaCheckedExceptionsConstraints.java

…

NestedLambdaExpressions1.java

new inference: ignore trivial dependencies

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

NestedLambdaExpressionsNoFormalParams1.java

…

NestedLambdaExpressionsNoFormalParams.java

inference: don't check bounds for variables which may depend on another variable with inconsistency bounds

2016-03-03 13:31:40 +01: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

…

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

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

…

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

UseCalculatedSubstitutor.java

…

VarargMethodWithThrownTypes.java

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

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

WildcardParameterization.java

…