Anna.Kozlova 9aa64b30d9 inference: allow child session inference if containing method is not generics

2018-10-19 17:52:43 +02:00

..

AcceptFirstPairOfCommonSupertypesDuringUpUpIncorporation.java

…

AfterAbstractPipeline.java

…

ApplicabilityCheckFailsExpressionTypeCheckPasses.java

…

ArrayPassedToVarargsMethod.java

…

ArrayTypeAssignability.java

…

AssignabilityOfStandaloneExpressionsDuringApplicabilityCheck.java

…

CallToGenericMethodsOfNonGenericClassInsideRawInheritor.java

…

CaptureConstraint.java

…

CapturedConversionDuringDirectSuperCheck.java

…

CapturedReturnTypes.java

…

CapturedVariablesAcceptance.java

…

CapturedWildcardWithArrayTypeBound.java

…

ChainedInference1.java

…

ChainedInference.java

…

ChainedInferenceTypeParamsOrderIndependent.java

…

CheckGlbConflictsAfterIntersectionTypeCreated.java

inference: check glb conflicts after flatten in intersection type(IDEA-181017)

2017-10-25 18:01:56 +02:00

ClsCapturedReturnTypes.java

…

ConditionalExpressionsInference.java

…

CreateFreshVariablesOnlyForWildcardPlacesDuringReturnTypeProcessing.java

…

CyclicParamsDependency.java

…

DeepCallsChain.java

…

DefaultConstructorAsArgument.java

…

DiamondsUsedToDetectArgumentType.java

…

DiamondWithExactMethodReferenceInside.java

…

DisjunctionTypeEquality.java

…

DisjunctionTypes.java

…

DoNotIgnoreConflictingUpperBounds.java

…

EliminateIntersectionTypeWildcardElimination.java

…

EnsureOrderOfFreshVariablesWhenCaptureNonProperTypes.java

inference: fix index for non-proper captured wildcard bounds (IDEA-188487)

2018-03-19 17:48:41 +01:00

EnumConstantInference.java

…

ErasedByReturnConstraint.java

…

ErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly1.java

highlight only method name on unhandled exception (IDEA-190912)

2018-04-25 21:11:38 +02:00

ErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly2.java

method references: don't fall to raw substitutor with second search (IDEA-180615)

2017-10-17 11:48:38 +02:00

ErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly.java

method references: don't fall to raw substitutor with second search (IDEA-180615)

2017-10-17 11:48:38 +02:00

FreshVariablesBounds.java

inference: partially resolve before erasure for target type inference

2018-05-28 18:54:01 +03:00

FreshVariablesCreatedDuringResolveDependingOnAlreadyResolvedVariables.java

…

FreshVariablesDuringApplicabilityCheck.java

…

GlbValidityWithCapturedWildcards.java

…

GrandParentTypeParams.java

…

HighlightArgumentWithProblem.java

inference: allow child session inference if containing method is not generics

2018-10-19 17:52:43 +02:00

IDEA98866.java

…

IDEA104429.java

…

IDEA121055.java

…

IDEA126163.java

…

IDEA127928.java

…

IDEA128101.java

…

IDEA128174.java

…

IDEA128766.java

…

IDEA130547.java

…

IDEA130549.java

…

IDEA132725.java

…

IDEA134277.java

…

IDEA143390.java

…

IDEA149774.java

…

IDEA150688.java

…

IDEA153632.java

…

IDEA154278.java

…

IncompatibleBoundsFromAssignment.java

…

IncompleteSubstitution.java

…

IncorporationOfBoundsAsTypeArguments.java

calc types by applicability constraints if inference fails

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

IncorporationWithCaptureCalcGlbToGetOneTypeParameterBound.java

…

IncorporationWithEqualsBoundsSubstitution.java

…

IncorporationWithRawSubstitutors.java

…

InferenceForFirstArg.java

…

InferenceFromNotEqualTypeParamsBounds.java

…

InferenceFromSiblings.java

…

InferenceFromTypeParamsBounds.java

…

InferenceVariablesErasure.java

…

InferFromConditionalExpressionCondition.java

…

InferFromTypeArgs.java

…

InferredApplicabilityForAnonymousClassConstructor.java

applicability: get call expr from anonymous class (IDEA-184965)

2018-01-15 20:27:05 +01:00

InfiniteTypes.java

…

IntersectionWithArray.java

…

IntersectionWithSameInterfaceButDifferentTypeArgument.java

inference: check substituted intersection type during resolution

2017-12-06 14:54:24 +01:00

JDK8028774.java

…

LiftedCaptureToOuterCall.java

…

MostSpecificVarargsCase.java

…

NameConflictBetweenFreshVariables.java

ensure fresh variables for the same context don't conflict by names (IDEA-196642)

2018-08-06 19:35:12 +02:00

NestedCalls1.java

…

NestedCalls.java

…

NestedCallsSameMethod.java

…

NestedCallsWithFreshVariables.java

inference: substitution for captures (IDEA-186844)

2018-02-19 18:36:42 +01:00

NestedConditionalExpressions.java

…

NestedMethodCallsWithVarargs.java

…

NonGenericInnerClassOfGenericsOuterInReturnType.java

…

NonGenericInnerClassOfGenericsOuterWithWildcardsInReturnType.java

…

NotInferredVarShouldNotBeUsedForInferenceJava10.java

ensure no inference from not inferred var (IDEA-193828)

2018-06-13 21:00:17 +03:00

OuterCallConflictResolution.java

…

OuterCallOverloads.java

…

OuterMethodCallOnRawType.java

…

OverloadChooserOfReturnType.java

…

PartialRawSubstitutionToAvoidInferringObjectsWhenRawExpected.java

…

PertinentToApplicabilityCheckForBlockLambda.java

…

PolyConditionalExpressionWithTargetPrimitive.java

…

PolyMethodCallOnLeftSideOfAssignment.java

…

PostponeConditionalExpressionErrorToMethodLevel.java

postpone highlighting on conditions when errors occur on containing call

2018-01-30 11:33:49 +03:00

PostponeUnresolvedVariables.java

…

PrimitiveTypeInReturnConstraintWithUncheckedConversion.java

…

PrimitiveWrapperConditionInReturnConstraint.java

…

PullingErrorMessagesFromSubExpressionsToTheTopLevel.java

…

PullUncheckedWarningNotionThroughNestedCalls.java

…

PushErasedStateToArguments.java

…

RawInIntersection.java

inference: check intersection type for raw conversion separately (IDEA-196523)

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

RawTypeFromParent.java

…

RawTypeFromParentArrayType.java

…

RecursiveCallsWithNestedInference.java

…

RecursiveTypeWithCapture.java

…

ResolutionOrderForVariableCycles.java

…

RestoreCapturedWildcardsInReturnTypesWhenNoAdditionalConstraintsDetected.java

inference: don't remember captured wildcard with non-proper bound (IDEA-180042)

2017-10-17 17:58:55 +02:00

ReturnConstraintsWithCaptureIncorporationOfFreshVariables.java

…

ReturnStmt.java

…

SameMethodCalledWithDifferentArgsResultingInDependenciesBetweenSameTypeParams.java

…

SameMethodNestedChainedCallsNearFunctionInterfaces.java

…

SameNamedFreshVariables.java

inference: ensure to distinguish new fresh variables of the same node

2017-12-22 10:05:44 +01:00

SiteSubstitutionForReturnConstraint.java

…

SiteSubstitutionInExpressionConstraints.java

…

SOEDuringInferenceFromParamBounds.java

…

StaticInheritorsAmbiguity.java

…

StopAtStandaloneConditional.java

…

TargetTypeByAnonymousClass.java

…

TargetTypeByOverloadedMethod2.java

…

TargetTypeByOverloadedMethod.java

…

TopLevelParentNoParameters.java

…

TransitiveInferenceVariableDependencies.java

…

TreatConditionalExpressionAsPolyIfNewExpressionWithDiamondsIsUsed.java

…

TwoDifferentParameterizationCheckWithInterfaceTypeArguments.java

…

UncheckedConversionDuringProperTypeExpressionConstraintResolution.java

…

UncheckedConversionWithRecursiveTypeParams.java

…

UncheckedWarningConvertingToInferenceVariable.java

…

UncheckedWarningDuringStrictSubtyping.java

…

ValidIntersectionTypeWithCapturedBounds1.java

inference: allow capture during intersection type construction (IDEA-173900)

2017-09-13 15:33:56 +03:00

ValidIntersectionTypeWithCapturedBounds.java

…

VarargsMethodPreferred.java

report inference error if resolution failed (IDEA-179978)

2017-10-13 10:47:47 +02:00

VarargsOnNonPertinentPlace.java

…

VariableNamesOfNestedCalls.java

…