Anna Kozlova 088510d098 skip warnings for constructor refs with varargs (IDEA-174074)

2017-06-27 19:47:53 +03:00

..

AdditionalConstraints3Level.java

new inference: fresh variables

2014-08-21 18:14:27 +04:00

AfterBounds.java

…

AfterCollectors1.java

…

AfterCollectors2.java

…

AfterDistinctOps.java

warn about unused parameter if method is used locally as method reference as it could be transformed to equivalent lambda (IDEA-157988)

2016-06-29 20:32:32 +03:00

AfterSliceOps.java

…

AmbiguityVarargs.java

don't show error on method reference if functional expression is located inside invalid context without target functional type

2015-12-10 19:52:16 +01:00

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

ApplicabilityErrorVisibleWhenConstraintsFromFunctionalExpressionsProvideValidSubstitutor.java

applicability error: check inferred types by applicability substitutor (IDEA-167275)

2017-02-13 14:10:51 +01:00

ArrayTypeNewReifiable.java

ArrayType:🆕 ensure type reifiable

2015-01-31 16:13:14 +03:00

AssertNumberOfParameters.java

…

CapturedReturnTypeOfMethodReference.java

method refs: ensure inference from captured return type (IDEA-145152)

2015-09-16 18:53:31 +03:00

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

CapturedWildcardInReceiverPosition.java

method refs: captured wildcard at receiver position

2016-01-04 19:25:03 +01:00

CaptureTypeOfNewArrayExpression.java

method reference: capture wildcards of new expressions (IDEA-152115)

2016-02-25 19:42:52 +01:00

CapturingReturnValue.java

…

ChainedCallsWithMethodReferenceInside.java

method refs: site substitution should not replace session setup (IDEA-154722)

2016-04-14 12:28:44 +02:00

CheckReturnTypeForExactRefs.java

…

CheckReturnTypeOfMethodReferenceWhenTheRestIsGood.java

method refs: prefer unhandled exception to wrong return type error (IDEA-160251)

2016-08-25 17:36:03 +03:00

CollectingApplicabilityConstraints.java

…

ConstraintsFromNonRawReceiverType.java

method refs: non-raw receiver type should influence collected constraints (IDEA-140002)

2015-05-11 18:04:29 +02:00

ConstructorRefOnClassWithRecursiveTypeParameter.java

method references: don't infer Object when no constraint exist for 'raw' reference (IDEA-171922)

2017-04-26 16:28:04 +02:00

ContainingClassTypeParametersShouldNotBeInferredDuringMethodReferenceProcessing.java

method reference: don't start containing class parameter type inference for receiver-reference; corresponding substitutor should be already known (IDEA-146604; IDEA-147223)

2015-11-03 17:10:58 +01:00

ContainingClassTypeParamsForBounds.java

…

DeepWildcardEliminating.java

…

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

EnsureNotResolvedMethodRefsAreNotMarkedAsExact.java

method refs: ensure non-resolved method refs are not marked as exact (EA-59172 - assert: TypeConversionUtil.reportHierarchyInconsistency)

2015-02-25 20:34:39 +01:00

EnsureResolveToClassInConstructorRefs.java

resolve for method reference qualifier should prefer classes in case of constructor refs (IDEA-164165)

2016-11-18 17:58:54 +01:00

EnsureThatCapturedWildcardsAreNotOpenWithoutAnyReason.java

workaround for opened captures (IDEA-132717)

2014-11-12 19:37:59 +01:00

EnsureTypeParametersAreNotModifiedDuringGroundTypeEvaluation.java

…

EnumConstantsAsContext.java

new inference inside enum constants (IDEA-145211)

2015-09-17 13:42:49 +03:00

EnumValuesMethod.java

…

ExactMethodReferencePertinentToApplicabilityCheck.java

…

ExcludeContainingClassTypeParamsFromInference.java

…

FreshVariableLowerBoundsDuringSuperTypeChecks.java

Cleanup (warnings, formatting)

2017-03-24 13:18:59 +01:00

FromReferenceWithTypeArgs.java

…

GenericArrayCreation.java

warn about unused parameter if method is used locally as method reference as it could be transformed to equivalent lambda (IDEA-157988)

2016-06-29 20:32:32 +03:00

GetClassReturnTypeInMethodReference.java

method reference on getClass: fix method reference constraint

2016-02-01 16:53:20 +03:00

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

IDEA93587.java

…

IDEA106522.java

…

IDEA112191.java

…

IDEA112574.java

…

IDEA113297.java

…

IDEA113558.java

…

IDEA116359.java

…

IDEA117311.java

…

IDEA118437.java

…

IDEA120370.java

…

IDEA120376.java

…

IDEA122018comment.java

…

IDEA122100.java

…

IDEA122509.java

…

IDEA122681.java

…

IDEA123223.java

…

IDEA123248.java

…

IDEA123366.java

…

IDEA123366comment.java

…

IDEA124148.java

…

IDEA124613.java

…

IDEA126062.java

…

IDEA126969.java

method refs: missed super class substitution (IDEA-126969)

2014-07-18 10:34:55 +02:00

IDEA127275_.java

provide applicability substitutor when inference fails for parent expression

2017-05-08 22:58:02 +03:00

IDEA127275.java

testdata for IDEA-127275

2014-08-06 17:55:48 +02:00

IDEA127506.java

method refs: check first parameter if it could be a receiver for varargs methods (IDEA-127506)

2014-07-18 18:19:20 +02:00

IDEA128534.java

method refs: do not accept static varargs methods by receiver (IDEA-128534)

2014-08-13 14:17:59 +04:00

IDEA128712.java

new inference: open/close capture when method reference is resolved (IDEA-128712)

2014-08-18 20:56:11 +04:00

IDEA132379.java

testdata for IDEA-132379

2015-02-13 21:28:44 +01:00

IDEA132560.java

testdata IDEA-132560

2014-11-07 15:47:49 +01:00

IDEA133935.java

testdata for IDEA-133935

2015-02-13 21:28:43 +01:00

IDEA136581.java

testdata for IDEA-136581

2015-02-16 17:24:13 +01:00

IDEA136708.java

testdata for IDEA-136708

2015-10-05 11:51:32 +02:00

IDEA138752.java

testdata for IDEA-138752

2015-10-05 11:51:30 +02:00

IDEA140586.java

testdata for IDEA-140586

2015-05-21 21:53:42 +02:00

IDEA147511.java

testdata for IDEA-147511

2015-11-06 16:21:29 +01:00

IDEA147873.java

testdata for IDEA-147873

2015-11-13 16:07:17 +01:00

IDEA148093.java

testdata for IDEA-148093

2015-12-02 15:42:02 +01:00

IDEA148553.java

testdata for IDEA-148553

2015-11-27 18:04:56 +01:00

IDEA148841.java

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

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

IDEA152659.java

testdata for IDEA-152659

2016-03-09 14:23:53 +01:00

IgnoreForeignVariables.java

inference: ensure foreign variables do not participate in inference process, e.g. variables from method reference overload resolution (IDEA-154622)

2016-04-13 21:11:02 +02:00

IncludeContainingClassParamsInResolveSetForConstructorRefs.java

…

IncludeOnlyTypeParametersUsedInParameterTypesExcludeThoseUsedInReturnOnly.java

method references: exclude type parameter used in return types only (IDEA-171480)

2017-04-18 15:03:44 +02:00

IncompleteCodeWithMethodReferenceOverLambdaParameter.java

method references on lambda parameters for incomplete code (EA-66008 - assert: InferenceSession.collectApplicabilityConstraints)

2015-07-22 12:34:09 +02:00

IncompleteMethodReferenceWithUncheckedWarningInspection.java

new inference: register incompatible message if inference fails (IDEA-131882; to be extended); filter out candidates if inference had failed for them

2015-11-19 20:43:59 +01:00

IncorrectArrayCreationSignature.java

…

InexactMethodReferencePrimitiveBound.java

…

LiftMethodReferenceTypeParams.java

[tests] prepares Java tests for the language level raise

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

MethodInInheritorFoundBySecondSearch.java

method reference: include super substitutor into method reference substitutor when referenced method has no type parameters (IDEA-169134)

2017-03-07 09:15:29 +01:00

MethodReferenceSecondSearchDontInfluenceTopSiteSubstitutor.java

method ref: ensure top substitutor is not overridden with raw replacement from second method ref search (IDEA-158636)

2016-07-18 14:57:04 +02:00

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

MethodREfToContainingMethodWithGenericParam.java

checked exception compatibility constraint: don't substitute with inferred variables as types are already constructed based on substituted values, so avoid dbl substitution which leads to errors in case of references to the containing method (IDEA-166104)

2017-01-02 12:27:12 +01:00

MissedApplicableMemberContainingClassSubstitution.java

…

NewParameterizedReferenceOnRawType.java

method refs: return type check fix for raw constructor (IDEA-142302)

2015-07-06 17:37:31 +03:00

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

PotentialApplicability.java

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

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

PotentialCompatibilityWithInvalidShape.java

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

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

PreferErrorOnTopLevelToFailedSubstitutorOnNestedLevel.java

testdata for IDEA-157350

2017-05-10 20:35:34 +03:00

QualifierOfCapturedWildcardType.java

method references with qualifier with captured wildcard type: retrieve upper bound as it is done for method calls

2015-12-30 18:56:58 +01:00

RawClassTypeOnConstructorReference.java

method refs: infer 'diamond' if constructor ref type is raw (IDEA-142142)

2015-07-02 20:08:10 +03:00

RawClassTypeOnConstructorWithVarargs.java

skip warnings for constructor refs with varargs (IDEA-174074)

2017-06-27 19:47:53 +03:00

RawConstructorReferenceWithTypeParams.java

[tests] prepares Java tests for the language level raise

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

RawInferredTypeCheck.java

inferred type check for raw constraints (IDEA-147529)

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

RawInnerClassQualifier.java

…

RawReferenceTypeWithReceiver.java

method references: fix type to search (site substitution) for ReferenceType::Identifier references, where ReferenceType is raw (IDEA-135792)

2015-01-30 22:28:02 +03:00

RawTargetType.java

…

ReceiverSubstitutorForExactReferenceInMethodReferenceConstraint.java

preprocess substitutor for receiver type exact references during reduction (IDEA-137417)

2015-03-11 20:31:42 +01:00

ReceiverTypeSubstitution.java

method refs: correct condition on receiver type substitution (IDEA-129905)

2014-09-16 20:11:42 +04:00

RefOnStaticInterfaceMethod.java

…

RegistryOptionToSkipUnsoundCaptureConversionInMethodReferenceReturnType.java

method reference: registry option to skip unsound capture conversion specified in the spec but ignored by the javac, to be changed in the next spec version (IDEA-171488)

2017-04-18 15:03:44 +02:00

RejectReceiverTypesForConstructorRefs.java

…

ReturnTypeApplicabilityIfCapturedWildcardInferred.java

Cleanup (warnings, formatting)

2017-03-24 13:18:59 +01:00

ReturnTypeCheckForRawReceiver.java

…

ReturnTypeCompatibilityConstraintForSecondSearchCase.java

method refs: ensure raw substitutor is not used for second search case to build return type constraints (IDEA-165239)

2016-12-14 11:31:36 +01:00

SecondSearchIfFirstParameterIsASubtypeOfReferenceTypeFromExpressionDeclaration.java

captured wildcards: don't open unpredictably, treat as type, not type argument (IDEA-148348)

2015-11-26 19:23:09 +01:00

SiteSubstitutionOfNonReceiverReference.java

method references: site substitution for method references without receiver (IDEA-134261)

2014-12-12 20:57:02 +01:00

SkipCheckedExceptionsHandledByInterfaceMethod.java

method reference: ignore already handled exceptions (IDEA-137694)

2015-03-18 14:09:58 +01:00

StaticNonStaticReferenceTypeAmbiguity.java

…

SubstitutionForReturnTypeConstraintsForTargetGenericMethod.java

method refs: missed qualifier substitution for return type (IDEA-140539)

2015-05-21 14:11:26 +02:00

SuperClassPotentiallyApplicableMembers.java

…

SuperSubstitutorInNormalCase.java

method refs: missed super substitutor (IDEA-136717)

2015-02-19 20:40:49 +01:00

TypeNameInterfaceSuperMethodReferenceApplicability.java

Interface.super method calls: ensure valid qualifier (IDEA-173888)

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

TypeParameterInstantiation.java

method ref: type parameter instantiation (IDEA-154645)

2016-04-13 12:30:54 +02:00

TypeParametersInitOrder.java

method refs: fix variable initializing order (IDEA-132445)

2014-11-06 19:11:29 +01:00

UncheckedMethodReference.java

…

UncheckedWarningWithRawSecondSearchAndMethodFromSuper.java

method reference: replace raw substitutor from second search with inferred substitutor and don't forget super class substitution (IDEA-149488)

2015-12-30 15:29:56 +01:00

UnhandledExceptionsInQualifier.java

method ref: don't check method reference qualifier against functional interface (IDEA-141343)

2015-06-11 16:46:12 +03:00

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

VarargsParametersCountComparison.java

warn about unused parameter if method is used locally as method reference as it could be transformed to equivalent lambda (IDEA-157988)

2016-06-29 20:32:32 +03:00

WildcardInCheckedCompatibilityConstraints.java

checked exception constraints: ensure ground type (IDEA-173200)

2017-05-22 11:25:29 +03:00

WildcardParametrization.java

new inference: cleanup incorporation phase

2014-08-29 12:01:58 +04:00

WildcardReturns.java

…

WildcardsInClassTypeQualifier.java

…