openide

AcceptFirstPairOfCommonSupertypesDuringUpUpIncorporation.java

…

AfterAbstractPipeline.java

…

ApplicabilityCheckFailsExpressionTypeCheckPasses.java

check that inferred intersection type doesn't contain same generic type with different type arguments (IDEA-170325)

2017-03-28 10:09:30 +02:00

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

[tests] prepares Java tests for the language level raise

2017-03-24 13:19:01 +01:00

ChainedInference.java

static imports: don't compare with expected type when it depends on unresolved reference (IDEA-163072)

2017-03-31 18:01:29 +02:00

ChainedInferenceTypeParamsOrderIndependent.java

[tests] prepares Java tests for the language level raise

2017-03-24 13:19:01 +01:00

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

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

[tests] prepares Java tests for the language level raise

2017-03-24 13:19:01 +01:00

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

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

testdata for fresh variables during applicability check (javac infers Object and fails)

2017-04-28 10:03:16 +02:00

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

highlight method call: don't ignore args with applicable calls as they may still cause parent call incompatibility

2018-10-25 16:20:56 +02:00

IDEA98866.java

…

IDEA104429.java

…

IDEA121055.java

…

IDEA126163.java

…

IDEA127928.java

…

IDEA128101.java

provide applicability substitutor when inference fails for parent expression

2017-05-08 22:58:02 +03: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

inference errors: make applicability error thread safe so multiple threads can perform overload resolution of parent method calls independently, save presentable error when substitutor cached only

2017-05-08 12:12:13 +03:00

IncompleteSubstitution.java

…

IncorporationOfBoundsAsTypeArguments.java

get rid of redundant space in error message

2018-11-21 15:54:15 +01:00

IncorporationWithCaptureCalcGlbToGetOneTypeParameterBound.java

…

IncorporationWithEqualsBoundsSubstitution.java

…

IncorporationWithRawSubstitutors.java

incorporation: deal with PsiType.NULL (IDEA-147529)

2015-11-10 18:45:36 +01:00

InferenceForFirstArg.java

…

InferenceFromNotEqualTypeParamsBounds.java

static factory detection for top level method call (IDEA-172566)

2017-05-10 09:14:16 +03:00

InferenceFromSiblings.java

[tests] prepares Java tests for the language level raise

2017-03-24 13:19:01 +01:00

InferenceFromTypeParamsBounds.java

…

InferenceVariablesErasure.java

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

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

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

isApplicability check based on pertinentToApplicability

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

IntersectionWithSameInterfaceButDifferentTypeArgument.java

Cleanup: NotNull/Nullable

2019-06-16 04:02:08 +03:00

Javac8UnCaptureBug.java

fix code to compile under java 11 as well

2019-02-11 18:43:21 +01:00

JDK8028774.java

…

LiftedCaptureToOuterCall.java

…

LowerBoundAssignability.java

inference: check lower bounds to eqBound assignability explicitly (IDEA-204125)

2019-01-22 13:45:02 +01:00

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

take into account container class type parameters: return type

2017-06-22 15:54:30 +03:00

NonGenericInnerClassOfGenericsOuterWithWildcardsInReturnType.java

testdata

2017-06-22 21:46:30 +03:00

NotInferredVarShouldNotBeUsedForInferenceJava10.java

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

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

OrderOfGenericsParameterizations.java

inference: process supertypes starting from self to find valid parameterization (IDEA-204125)

2019-01-22 13:45:02 +01:00

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

PertinentToApplicabilityCheckForBlockLambda.java

pertinent to applicability: process return statements inside block lambda

2017-04-28 20:23:23 +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

PostponeConditionalExpressionErrorToMethodLevel.java

postpone highlighting on conditions when errors occur on containing call

2018-01-30 11:33:49 +03: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 errors: make applicability error thread safe so multiple threads can perform overload resolution of parent method calls independently, save presentable error when substitutor cached only

2017-05-08 12:12:13 +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

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

inference variables: ensure variable is not mixed with type parameter for recursive calls (IDEA-147639)

2015-11-09 19:08:30 +01:00

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

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

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

…

TopLevelParentNoParameters.java

testdata for javac resolution order: to be merged in java 9 update

2017-04-11 16:22:35 +02:00

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

skip errors in case of diamond inference with type parameters on constructor

2017-04-03 13:52:13 +02: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

ValidIntersectionTypeWithCapturedBounds1.java

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

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

ValidIntersectionTypeWithCapturedBounds.java

intersection type validation fixed (IDEA-173900)

2017-06-05 14:34:18 +03:00

VarargsMethodPreferred.java

report inference error if resolution failed (IDEA-179978)

2017-10-13 10:47:47 +02: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