Anna.Kozlova 770bd344ea ensure assignability for standalone expressions during applicability check (IDEA-159086)

2017-02-13 18:30:53 +01:00

..

AcceptFirstPairOfCommonSupertypesDuringUpUpIncorporation.java

…

AfterAbstractPipeline.java

…

ArrayPassedToVarargsMethod.java

…

ArrayTypeAssignability.java

…

AssignabilityOfStandaloneExpressionsDuringApplicabilityCheck.java

ensure assignability for standalone expressions during applicability check (IDEA-159086)

2017-02-13 18:30:53 +01:00

CallToGenericMethodsOfNonGenericClassInsideRawInheritor.java

…

CaptureConstraint.java

new inference: correct capture incorporation (IDEA-149807)

2015-12-28 19:07:22 +01:00

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

testdata

2016-02-18 19:47:21 +01:00

CapturedWildcardWithArrayTypeBound.java

new inference: process captured wildcard with array type bound

2015-12-02 10:57:27 +01:00

ChainedInference1.java

…

ChainedInference.java

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

2016-10-06 16:21:05 +02: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

inference: ensure to convert disjunction type to lub (IDEA-150364)

2016-01-14 16:18:20 +01:00

DoNotIgnoreConflictingUpperBounds.java

move inference error from element to method candidate to avoid overload method pollution; show inference error in the editor if applicability check was successful; register inference error if variable has incompatible upper bounds (IDEA-145106)

2015-11-16 10:05:50 +01:00

EliminateIntersectionTypeWildcardElimination.java

eliminate wildcards elimination in flattening intersection types (IDEA-143194); fully follow specification in determining target type - javac would be fixed (JDK-8142876), eclipse already obeys the spec

2015-11-12 20:14:15 +01:00

EnumConstantInference.java

…

ErasedByReturnConstraint.java

…

ErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly.java

don't erase method invocation type iff unchecked conversion was required during additional constraints processing (IDEA-163503)

2016-11-03 16:38:40 +01:00

FreshVariablesCreatedDuringResolveDependingOnAlreadyResolvedVariables.java

…

GlbValidityWithCapturedWildcards.java

inference: check glb with captured wildcard: if not assignable check if it is an interface

2016-02-17 17:24:41 +01:00

GrandParentTypeParams.java

…

HighlightArgumentWithProblem.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

IDEA98866.java

…

IDEA104429.java

…

IDEA121055.java

…

IDEA126163.java

…

IDEA127928.java

…

IDEA128101.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

IDEA128174.java

…

IDEA128766.java

…

IDEA130547.java

…

IDEA130549.java

…

IDEA132725.java

…

IDEA134277.java

…

IDEA143390.java

…

IDEA149774.java

testdata for IDEA-149774

2015-12-28 19:07:22 +01:00

IDEA150688.java

testdata for IDEA-150688

2016-02-17 14:44:12 +01:00

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

isApplicability check based on pertinentToApplicability

2015-11-30 15:11:41 +01:00

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

inference: don't erase inference variables (IDEA-151750)

2016-02-16 15:57:18 +01:00

InferFromConditionalExpressionCondition.java

…

InferFromTypeArgs.java

…

InfiniteTypes.java

…

IntersectionWithArray.java

isApplicability check based on pertinentToApplicability

2015-11-30 15:11:41 +01:00

JDK8028774.java

…

LiftedCaptureToOuterCall.java

…

MostSpecificVarargsCase.java

…

NestedCalls1.java

…

NestedCalls.java

…

NestedCallsSameMethod.java

…

NestedConditionalExpressions.java

…

NestedMethodCallsWithVarargs.java

…

OuterCallConflictResolution.java

isApplicability check based on pertinentToApplicability

2015-11-30 15:11:41 +01:00

OuterCallOverloads.java

ensure ambiguity error presentation doesn't depend on previous calls to getSubstitutor()

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

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

PostponeUnresolvedVariables.java

new inference: postpone unresolved variables in favor to variables with proper equals bound

2016-10-11 10:27:29 +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

new inference: pull erased flag through nested calls (IDEA-133613)

2015-12-28 19:07:22 +01:00

PushErasedStateToArguments.java

inference: cache erasure flag together with partial inference (IDEA-150802)

2016-01-25 18:52:15 +03:00

RawTypeFromParent.java

…

RawTypeFromParentArrayType.java

…

RecursiveCallsWithNestedInference.java

…

RecursiveTypeWithCapture.java

new inference: check intersection type of upper bound to detect substitution (IDEA-165011)

2016-12-07 18:44:34 +01:00

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

SOE with numeric conditional expressions when expression inside is not standalone

2016-01-27 13:57:06 +03:00

TargetTypeByAnonymousClass.java

…

TargetTypeByOverloadedMethod2.java

…

TargetTypeByOverloadedMethod.java

…

TransitiveInferenceVariableDependencies.java

calculate transitive inference variable's dependencies (IDEA-151170)

2016-02-03 16:10:26 +03:00

TreatConditionalExpressionAsPolyIfNewExpressionWithDiamondsIsUsed.java

treat conditional expressions with new expressions with diamonds inside as poly

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

TwoDifferentParameterizationCheckWithInterfaceTypeArguments.java

inference: don't distinguish parameterizations with 2 different interfaces (IDEA-163950)

2016-11-15 18:11:31 +01:00

UncheckedConversionDuringProperTypeExpressionConstraintResolution.java

inference: don't erase types when target type is parameterized with unbounded wildcards only, in this case no unchecked warning would be generated and the types won't be affected by unchecked warning clause

2016-11-23 11:53:29 +01:00

UncheckedConversionWithRecursiveTypeParams.java

…

UncheckedWarningConvertingToInferenceVariable.java

inference: skip unchecked warning for types based on inference variables (IDEA-151761)

2016-02-16 18:15:03 +01:00

UncheckedWarningDuringStrictSubtyping.java

unchecked warning: mark as unchecked if passed to strict subtyping (IDEA-151302)

2016-02-17 14:44:12 +01:00

VarargsOnNonPertinentPlace.java

…

VariableNamesOfNestedCalls.java

inference: propagate variable renames through the call hierarchy; calculate tooltips in tests (IDEA-151948)

2016-02-22 20:05:58 +01:00