Roman Shevchenko 6bd1b92c6e [tests] prepares Java tests for the language level raise

2017-03-24 13:19:01 +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

…

CapturedConversionDuringDirectSuperCheck.java

…

CapturedReturnTypes.java

…

CapturedVariablesAcceptance.java

…

CapturedWildcardWithArrayTypeBound.java

…

ChainedInference1.java

[tests] prepares Java tests for the language level raise

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

ChainedInference.java

[tests] prepares Java tests for the language level raise

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

ChainedInferenceTypeParamsOrderIndependent.java

[tests] prepares Java tests for the language level raise

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

ClsCapturedReturnTypes.java

…

ConditionalExpressionsInference.java

…

CreateFreshVariablesOnlyForWildcardPlacesDuringReturnTypeProcessing.java

…

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

…

DoNotIgnoreConflictingUpperBounds.java

…

EliminateIntersectionTypeWildcardElimination.java

…

EnumConstantInference.java

…

ErasedByReturnConstraint.java

…

ErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly.java

…

FreshVariablesCreatedDuringResolveDependingOnAlreadyResolvedVariables.java

…

GlbValidityWithCapturedWildcards.java

…

GrandParentTypeParams.java

…

HighlightArgumentWithProblem.java

…

IDEA98866.java

…

IDEA104429.java

…

IDEA121055.java

…

IDEA126163.java

…

IDEA127928.java

…

IDEA128101.java

…

IDEA128174.java

…

IDEA128766.java

…

IDEA130547.java

…

IDEA130549.java

…

IDEA132725.java

…

IDEA134277.java

…

IDEA143390.java

…

IDEA149774.java

…

IDEA150688.java

…

IDEA153632.java

…

IDEA154278.java

…

IncompatibleBoundsFromAssignment.java

…

IncompleteSubstitution.java

…

IncorporationOfBoundsAsTypeArguments.java

…

IncorporationWithCaptureCalcGlbToGetOneTypeParameterBound.java

…

IncorporationWithEqualsBoundsSubstitution.java

…

IncorporationWithRawSubstitutors.java

…

InferenceForFirstArg.java

…

InferenceFromNotEqualTypeParamsBounds.java

diamonds: don't infer raw type when inference of a staticFactory failed

2017-03-13 14:16:44 +01:00

InferenceFromSiblings.java

[tests] prepares Java tests for the language level raise

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

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

…

PolyConditionalExpressionWithTargetPrimitive.java

…

PolyMethodCallOnLeftSideOfAssignment.java

…

PostponeUnresolvedVariables.java

…

PrimitiveTypeInReturnConstraintWithUncheckedConversion.java

…

PrimitiveWrapperConditionInReturnConstraint.java

…

PullingErrorMessagesFromSubExpressionsToTheTopLevel.java

…

PullUncheckedWarningNotionThroughNestedCalls.java

…

PushErasedStateToArguments.java

…

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

…

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

…

TwoDifferentParameterizationCheckWithInterfaceTypeArguments.java

…

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

…

UncheckedWarningDuringStrictSubtyping.java

…

VarargsOnNonPertinentPlace.java

…

VariableNamesOfNestedCalls.java

…