Anna Kozlova ca1d8a348c postpone highlighting on conditions when errors occur on containing call ...

poly conditional expression receives type from context, if context contains errors, it's better to highlight those first (IDEA-185540)

2018-01-30 11:33:49 +03: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

…

EnumConstantInference.java

…

ErasedByReturnConstraint.java

…

ErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly1.java

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

2017-10-17 11:48: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

FreshVariablesCreatedDuringResolveDependingOnAlreadyResolvedVariables.java

…

FreshVariablesDuringApplicabilityCheck.java

…

GlbValidityWithCapturedWildcards.java

…

GrandParentTypeParams.java

…

HighlightArgumentWithProblem.java

…

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

…

NestedCalls1.java

…

NestedCalls.java

…

NestedCallsSameMethod.java

…

NestedConditionalExpressions.java

…

NestedMethodCallsWithVarargs.java

…

NonGenericInnerClassOfGenericsOuterInReturnType.java

…

NonGenericInnerClassOfGenericsOuterWithWildcardsInReturnType.java

…

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

…

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

…

ValidIntersectionTypeWithCapturedBounds.java

…

VarargsMethodPreferred.java

report inference error if resolution failed (IDEA-179978)

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

VarargsOnNonPertinentPlace.java

…

VariableNamesOfNestedCalls.java

…