Anna Kozlova 1bece25b95 inference: when unchecked conversion was applied, resolve variables against raw substitutor

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

..

AcceptFirstPairOfCommonSupertypesDuringUpUpIncorporation.java

…

AfterAbstractPipeline.java

…

ArrayPassedToVarargsMethod.java

…

ArrayTypeAssignability.java

…

CallToGenericMethodsOfNonGenericClassInsideRawInheritor.java

…

CaptureConstraint.java

…

CapturedConversionDuringDirectSuperCheck.java

apply capture conversion for captured wildcard bound according to the direct supertype of parameterized type specification (IDEA-157586)

2016-06-22 15:24:15 +03:00

CapturedReturnTypes.java

…

CapturedVariablesAcceptance.java

…

CapturedWildcardWithArrayTypeBound.java

…

ChainedInference1.java

…

ChainedInference.java

inference: skip lambda content and all its dependants when lambda type parameter type is calculated

2016-03-03 11:39:53 +01:00

ChainedInferenceTypeParamsOrderIndependent.java

…

ClsCapturedReturnTypes.java

…

ConditionalExpressionsInference.java

…

CreateFreshVariablesOnlyForWildcardPlacesDuringReturnTypeProcessing.java

invocation type inference: don't create fresh variables for all type parameters but only for those where wildcards are used in return type (IDEA-155627; IDEA-151220; IDEA-151387)

2016-05-06 18:00:16 +02:00

CyclicParamsDependency.java

…

DeepCallsChain.java

…

DefaultConstructorAsArgument.java

…

DiamondsUsedToDetectArgumentType.java

…

DiamondWithExactMethodReferenceInside.java

…

DisjunctionTypeEquality.java

…

DisjunctionTypes.java

…

DoNotIgnoreConflictingUpperBounds.java

…

EliminateIntersectionTypeWildcardElimination.java

…

EnumConstantInference.java

…

ErasedByReturnConstraint.java

…

FreshVariablesCreatedDuringResolveDependingOnAlreadyResolvedVariables.java

…

GlbValidityWithCapturedWildcards.java

…

GrandParentTypeParams.java

…

HighlightArgumentWithProblem.java

highlight invalid method call: search for most probable argument-cause (IDEA-151202)

2016-03-24 15:58:41 +01:00

IDEA98866.java

…

IDEA104429.java

…

IDEA121055.java

…

IDEA126163.java

…

IDEA127928.java

…

IDEA128101.java

highlight invalid method call: search for most probable argument-cause (IDEA-151202)

2016-03-24 15:58:41 +01:00

IDEA128174.java

…

IDEA128766.java

…

IDEA130547.java

…

IDEA130549.java

…

IDEA132725.java

…

IDEA134277.java

…

IDEA143390.java

…

IDEA149774.java

…

IDEA150688.java

…

IDEA153632.java

testdata for IDEA-153632

2016-03-29 21:17:55 +02:00

IDEA154278.java

testdata for IDEA-154278

2016-04-06 21:17:37 +02:00

IncompatibleBoundsFromAssignment.java

…

IncompleteSubstitution.java

…

IncorporationOfBoundsAsTypeArguments.java

…

IncorporationWithCaptureCalcGlbToGetOneTypeParameterBound.java

…

IncorporationWithEqualsBoundsSubstitution.java

…

IncorporationWithRawSubstitutors.java

…

InferenceForFirstArg.java

…

InferenceFromNotEqualTypeParamsBounds.java

highlight diamonds as type parameter list (IDEA-156859)

2016-06-06 17:52:24 +03:00

InferenceFromSiblings.java

…

InferenceFromTypeParamsBounds.java

…

InferenceVariablesErasure.java

…

InferFromConditionalExpressionCondition.java

…

InferFromTypeArgs.java

…

InfiniteTypes.java

…

IntersectionWithArray.java

…

JDK8028774.java

…

LiftedCaptureToOuterCall.java

…

MostSpecificVarargsCase.java

…

NestedCalls1.java

…

NestedCalls.java

…

NestedCallsSameMethod.java

…

NestedConditionalExpressions.java

…

NestedMethodCallsWithVarargs.java

…

OuterCallConflictResolution.java

…

OuterCallOverloads.java

…

OuterMethodCallOnRawType.java

…

OverloadChooserOfReturnType.java

…

PartialRawSubstitutionToAvoidInferringObjectsWhenRawExpected.java

inference: restore probably partial raw inference as this way expected raw types are preserved and Objects won't be inferred in place where raw types were expected

2016-03-30 12:15:25 +02:00

PolyConditionalExpressionWithTargetPrimitive.java

conditional: treat nulls separately and accept them as numeric/boolean branches (IDEA-157025)

2016-06-03 15:28:58 +03:00

PolyMethodCallOnLeftSideOfAssignment.java

don't calculate type of method expression which is located on the left side of assignment - assignment is invalid anyway

2016-04-19 19:05:54 +02:00

PrimitiveTypeInReturnConstraintWithUncheckedConversion.java

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

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

PrimitiveWrapperConditionInReturnConstraint.java

…

PullingErrorMessagesFromSubExpressionsToTheTopLevel.java

overload resolution: clear inference errors from nested calls when top level expression is abadoned as non-applicable (IDEA-150718; IDEA-153222)

2016-03-18 15:50:22 +01:00

PullUncheckedWarningNotionThroughNestedCalls.java

…

PushErasedStateToArguments.java

…

RawTypeFromParent.java

…

RawTypeFromParentArrayType.java

…

RecursiveCallsWithNestedInference.java

…

ResolutionOrderForVariableCycles.java

bombed test for resolution with cycle

2016-06-29 16:18:27 +03:00

ReturnConstraintsWithCaptureIncorporationOfFreshVariables.java

…

ReturnStmt.java

…

SameMethodCalledWithDifferentArgsResultingInDependenciesBetweenSameTypeParams.java

…

SameMethodNestedChainedCallsNearFunctionInterfaces.java

…

SiteSubstitutionForReturnConstraint.java

…

SiteSubstitutionInExpressionConstraints.java

…

SOEDuringInferenceFromParamBounds.java

…

StaticInheritorsAmbiguity.java

…

StopAtStandaloneConditional.java

…

TargetTypeByAnonymousClass.java

…

TargetTypeByOverloadedMethod2.java

…

TargetTypeByOverloadedMethod.java

…

TransitiveInferenceVariableDependencies.java

…

TreatConditionalExpressionAsPolyIfNewExpressionWithDiamondsIsUsed.java

treat conditional expressions with new expressions with diamonds inside as poly

2016-04-19 19:05:54 +02:00

UncheckedConversionWithRecursiveTypeParams.java

…

UncheckedWarningConvertingToInferenceVariable.java

…

UncheckedWarningDuringStrictSubtyping.java

…

VarargsOnNonPertinentPlace.java

…

VariableNamesOfNestedCalls.java

…