Anna Kozlova 4b5272c14a java: redundant cast: check inference problems in cast operand ...

expected type (available after removing type cast) may add bounds for inference variables which would lead to errors after applying the fix

GitOrigin-RevId: 24a97411b7175cacabd8e81ed5711509195dfd4d

2020-05-15 20:27:18 +00: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

incompatible types: highlight parent call instead of lambda when the error isn't related to lambda (IDEA-218801)

2019-10-10 07:01:11 +00:00

ChainedInferenceTypeParamsOrderIndependent.java

…

CheckGlbConflictsAfterIntersectionTypeCreated.java

…

ClsCapturedReturnTypes.java

…

ConditionalExpressionsInference.java

…

CreateFreshVariablesOnlyForWildcardPlacesDuringReturnTypeProcessing.java

…

CyclicParamsDependency.java

…

DeepCallsChain.java

…

DefaultConstructorAsArgument.java

…

DiamondsUsedToDetectArgumentType.java

…

DiamondWithConditionalInside.java

EditorConfig documentation test

2019-06-16 04:03:21 +03:00

DiamondWithExactMethodReferenceInside.java

…

DisjunctionTypeEquality.java

…

DisjunctionTypes.java

…

DoNotIgnoreConflictingUpperBounds.java

…

EliminateIntersectionTypeWildcardElimination.java

…

EnsureOrderOfFreshVariablesWhenCaptureNonProperTypes.java

…

EnumConstantInference.java

…

ErasedByReturnConstraint.java

…

ErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly1.java

…

ErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly2.java

…

ErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly.java

java: redundant cast: check inference problems in cast operand

2020-05-15 20:27:18 +00:00

FreshVariablesBounds.java

…

FreshVariablesCreatedDuringResolveDependingOnAlreadyResolvedVariables.java

…

FreshVariablesDuringApplicabilityCheck.java

…

GlbValidityWithCapturedWildcards.java

…

GrandParentTypeParams.java

…

HighlightArgumentWithProblem.java

…

IDEA98866.java

…

IDEA104429.java

…

IDEA121055.java

…

IDEA126163.java

…

IDEA127928.java

…

IDEA128101.java

incompatible types: highlight only wrong arguments instead of full arg list (IDEA-220107)

2019-09-20 19:31:36 +00:00

IDEA128174.java

…

IDEA128766.java

…

IDEA130547.java

…

IDEA130549.java

…

IDEA132725.java

…

IDEA134277.java

…

IDEA143390.java

…

IDEA149774.java

…

IDEA150688.java

…

IDEA153632.java

…

IDEA154278.java

…

IncompatibleBoundsFromAssignment.java

java highlighting: provide better incompatible types message on failed inference

2019-07-08 12:04:21 +03:00

IncompleteSubstitution.java

…

IncorporationOfBoundsAsTypeArguments.java

java highlighting: provide better incompatible types message on failed inference

2019-07-08 12:04:21 +03:00

IncorporationWithCaptureCalcGlbToGetOneTypeParameterBound.java

…

IncorporationWithEqualsBoundsSubstitution.java

…

IncorporationWithRawSubstitutors.java

…

InferenceForFirstArg.java

…

InferenceFromNotEqualTypeParamsBounds.java

MethodReturnTypeFix: highlight only return statements when method return type doesn't match expected (IDEA-216275)

2019-07-08 15:09:05 +03:00

InferenceFromSiblings.java

…

InferenceFromTypeParamsBounds.java

…

InferenceVariablesErasure.java

…

InferFromConditionalExpressionCondition.java

…

InferFromTypeArgs.java

…

InferredApplicabilityForAnonymousClassConstructor.java

…

InfiniteTypes.java

…

IntersectionWithArray.java

…

IntersectionWithSameInterfaceButDifferentTypeArgument.java

EditorConfig documentation test

2019-06-16 04:03:21 +03:00

Javac8UnCaptureBug.java

…

JDK8028774.java

…

LambdaInConditional.java

EditorConfig documentation test

2019-06-16 04:03:21 +03:00

LiftedCaptureToOuterCall.java

…

LowerBoundAssignability.java

…

MostSpecificVarargsCase.java

…

NameConflictBetweenFreshVariables.java

…

NestedCalls1.java

…

NestedCalls.java

…

NestedCallsSameMethod.java

…

NestedCallsWithFreshVariables.java

…

NestedConditionalExpressions.java

…

NestedMethodCallsWithVarargs.java

…

NonGenericInnerClassOfGenericsOuterInReturnType.java

…

NonGenericInnerClassOfGenericsOuterWithWildcardsInReturnType.java

…

NotInferredVarShouldNotBeUsedForInferenceJava10.java

lvti: special highlight for self referencing variables (IDEA-224449)

2019-10-09 10:32:32 +00:00

OrderOfGenericsParameterizations.java

…

OuterCallConflictResolution.java

…

OuterCallOverloads.java

…

OuterMethodCallOnRawType.java

…

OverloadChooserOfReturnType.java

…

PartialRawSubstitutionToAvoidInferringObjectsWhenRawExpected.java

java unchecked warning: narrow down highlighting to class/method reference (IDEA-203860)

2019-07-15 12:05:58 +03:00

PertinentToApplicabilityCheckForBlockLambda.java

…

PolyConditionalExpressionWithTargetPrimitive.java

Fixes according to review IDEA-CR-61871

2020-04-24 08:26:53 +00:00

PolyMethodCallOnLeftSideOfAssignment.java

…

PostponeConditionalExpressionErrorToMethodLevel.java

…

PostponeUnresolvedVariables.java

…

PrimitiveTypeInReturnConstraintWithUncheckedConversion.java

java highlighting: provide better incompatible types message on failed inference

2019-07-08 12:04:21 +03:00

PrimitiveWrapperConditionInReturnConstraint.java

…

PullingErrorMessagesFromSubExpressionsToTheTopLevel.java

…

PullUncheckedWarningNotionThroughNestedCalls.java

…

PushErasedStateToArguments.java

…

RawInIntersection.java

…

RawTypeFromParent.java

…

RawTypeFromParentArrayType.java

…

RecursiveCallsWithNestedInference.java

…

RecursiveTypeWithCapture.java

…

ResolutionOrderForVariableCycles.java

…

RestoreCapturedWildcardsInReturnTypesWhenNoAdditionalConstraintsDetected.java

…

ReturnConstraintsWithCaptureIncorporationOfFreshVariables.java

…

ReturnStmt.java

…

SameMethodCalledWithDifferentArgsResultingInDependenciesBetweenSameTypeParams.java

…

SameMethodNestedChainedCallsNearFunctionInterfaces.java

…

SameNamedFreshVariables.java

…

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

java: adjusted "Cannot resolve method" message (IDEA-206898)

2019-07-10 23:02:59 +03:00

UncheckedConversionWithRecursiveTypeParams.java

…

UncheckedWarningConvertingToInferenceVariable.java

…

UncheckedWarningDuringStrictSubtyping.java

…

ValidIntersectionTypeWithCapturedBounds1.java

…

ValidIntersectionTypeWithCapturedBounds.java

…

VarargsMethodPreferred.java

…

VarargsOnNonPertinentPlace.java

…

VariableNamesOfNestedCalls.java

…

WrongNumberOfParametersWithLambdaOnUnexpectedPlace.java

java inference: stop when argument has no associated formal parameter

2019-12-03 16:04:11 +00:00