Mikhail Zarechenskiy 9891f562cc [NI] Make subtyping algorithm more robust to error types ...

During subtyping/incorporation we transform types (e.g. changing nullability,
 form of the type) and, basically, we're doing this to some FIXPOINT.
 It's important that we use `KotlinType.hashCode()` to compare types, but
 for error types hashCode is a hashCode of its supertype and, for example,
 `makeNullableAsSpecified` method recreate type every time. So, we continue
 to generate new constraints and we'll never stop incorporation algorithm

2018-06-07 15:45:53 +03:00

..

capturedTypes

[NI] Fix exception on capturing type with inner typealiased typed

2018-06-05 14:05:50 +03:00

coercionToUnit

[NI] Fix unit coercion

2018-01-18 15:13:45 +03:00

commonSystem

Fix unboxing values of inline class type from type parameters

2018-02-20 11:45:49 +03:00

constraints

[NI] Make subtyping algorithm more robust to error types

2018-06-07 15:45:53 +03:00

nestedCalls

[NI] Make subtyping algorithm more robust to error types

2018-06-07 15:45:53 +03:00

recursiveLocalFuns

[NI] Make subtyping algorithm more robust to error types

2018-06-07 15:45:53 +03:00

regressions

[NI] Update test data

2018-06-04 12:21:47 +03:00

reportingImprovements

[NI] Improve diagnostic about unresolved receiver for many candidates

2018-02-14 14:58:05 +03:00

substitutions

…

upperBounds

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

cannotCompleteResolveAmbiguity.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

cannotCompleteResolveAmbiguity.txt

…

cannotCompleteResolveFunctionLiteralsNoUse.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

cannotCompleteResolveFunctionLiteralsNoUse.txt

…

cannotCompleteResolveNoInfoForParameter.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

cannotCompleteResolveNoInfoForParameter.txt

…

cannotCompleteResolveNoneApplicable.kt

…

cannotCompleteResolveNoneApplicable.txt

…

cannotCompleteResolveWithFunctionLiterals.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

cannotCompleteResolveWithFunctionLiterals.txt

…

completeInferenceIfManyFailed.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

completeInferenceIfManyFailed.txt

…

conflictingSubstitutions.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

conflictingSubstitutions.txt

…

dependantOnVariance.kt

[NI] Don't fail on captured type that contains type variable

2018-01-30 13:00:42 +03:00

dependantOnVariance.txt

…

dependantOnVarianceNullable.kt

Introduce UNUSED_ANONYMOUS_PARAMETER for anonymous functions

2017-04-04 14:23:30 +03:00

dependantOnVarianceNullable.txt

…

dependOnExpectedType.kt

…

dependOnExpectedType.txt

…

expectedTypeAdditionalTest.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

expectedTypeAdditionalTest.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

expectedTypeDoubleReceiver.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

expectedTypeDoubleReceiver.txt

Add test for ExpectedTypeFromCast feature

2017-10-16 20:10:57 +03:00

expectedTypeFromCast.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

expectedTypeFromCast.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

expectedTypeFromCastComplexExpression.kt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

expectedTypeFromCastComplexExpression.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

expectedTypeFromCastParenthesized.kt

Support parenthesized left expression for ExpectedTypeFromCast

2017-10-16 18:28:57 +03:00

expectedTypeFromCastParenthesized.txt

Support parenthesized left expression for ExpectedTypeFromCast

2017-10-16 18:28:57 +03:00

expectedTypeWithGenerics.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

expectedTypeWithGenerics.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

findViewById.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

findViewById.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

fixationOrderForProperConstraints.kt

Add separate diagnostic renderer results for tests with NI

2017-11-29 02:54:30 +03:00

fixationOrderForProperConstraints.ni.txt

Add separate diagnostic renderer results for tests with NI

2017-11-29 02:54:30 +03:00

fixationOrderForProperConstraints.txt

Move test for NI to diagnostic tests and add "todo"

2017-08-07 18:01:16 +03:00

fixVariableToNothing.kt

[NI] Resolve type variable to Nothing for TO_SUBTYPE direction.

2017-07-14 12:43:04 +03:00

fixVariableToNothing.txt

[NI] Resolve type variable to Nothing for TO_SUBTYPE direction.

2017-07-14 12:43:04 +03:00

flexibleTypesAsUpperBound.kt

[NI] Approximate captured types when we resolve type variable TO_SUPER.

2017-07-14 12:43:04 +03:00

flexibleTypesAsUpperBound.txt

[NI] Approximate captured types when we resolve type variable TO_SUPER.

2017-07-14 12:43:04 +03:00

functionPlaceholderError.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

functionPlaceholderError.txt

…

hasErrorInConstrainingTypes.kt

…

hasErrorInConstrainingTypes.txt

…

immutableArrayList.kt

…

immutableArrayList.txt

javac-wrapper: refactoring, fixes and tests

2017-08-29 18:01:36 +03:00

implicitInvokeExtensionWithFunctionalArgument.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

implicitInvokeExtensionWithFunctionalArgument.txt

Fix modifier order in generated overriden functions

2018-01-16 15:42:02 +01:00

implicitInvokeInCompanionObjectWithFunctionalArgument.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

implicitInvokeInCompanionObjectWithFunctionalArgument.txt

Fix modifier order in generated overriden functions

2018-01-16 15:42:02 +01:00

implicitInvokeInObjectWithFunctionalArgument.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

implicitInvokeInObjectWithFunctionalArgument.txt

Fix modifier order in generated overriden functions

2018-01-16 15:42:02 +01:00

implicitInvokeWithFunctionLiteralArgument.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

implicitInvokeWithFunctionLiteralArgument.txt

Fix modifier order in generated overriden functions

2018-01-16 15:42:02 +01:00

inferInFunctionLiterals.kt

…

inferInFunctionLiterals.txt

…

inferInFunctionLiteralsWithReturn.kt

…

inferInFunctionLiteralsWithReturn.txt

…

intersectionTypeMultipleBoundsAsReceiver.kt

Fix computation of erased receiver for intersection types

2016-12-26 22:34:40 +03:00

intersectionTypeMultipleBoundsAsReceiver.txt

Fix computation of erased receiver for intersection types

2016-12-26 22:34:40 +03:00

invokeLambdaAsFunction.kt

Add tests on obsolete issues

2017-09-05 14:41:34 +03:00

invokeLambdaAsFunction.txt

Add tests on obsolete issues

2017-09-05 14:41:34 +03:00

kt619.kt

…

kt619.txt

…

kt1293.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

kt1293.txt

…

kt3184.kt

…

kt3184.txt

…

kt6175.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

kt6175.txt

…

kt11963.kt

Fix exception on invalid code, don't resolve uninitialized type

2017-09-05 14:41:42 +03:00

kt11963.txt

Fix exception on invalid code, don't resolve uninitialized type

2017-09-05 14:41:42 +03:00

kt12399.kt

Add tests on obsolete issues

2017-09-05 14:41:34 +03:00

kt12399.txt

Add tests on obsolete issues

2017-09-05 14:41:34 +03:00

lambdaInValInitializerWithAnonymousFunctions.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

lambdaInValInitializerWithAnonymousFunctions.txt

Move test for NI to diagnostic tests and add "todo"

2017-08-07 18:01:16 +03:00

listConstructor.kt

…

listConstructor.txt

…

mapFunction.kt

…

mapFunction.txt

…

mostSpecificAfterInference.kt

…

mostSpecificAfterInference.txt

…

NoInferenceFromDeclaredBounds.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

NoInferenceFromDeclaredBounds.txt

…

noInformationForParameter.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

noInformationForParameter.txt

…

nullableTypeArgumentWithNotNullUpperBound.kt

[NI] Approximate captured types when we resolve type variable TO_SUPER.

2017-07-14 12:43:04 +03:00

nullableTypeArgumentWithNotNullUpperBound.txt

[NI] Approximate captured types when we resolve type variable TO_SUPER.

2017-07-14 12:43:04 +03:00

nullableUpperBound.kt

…

nullableUpperBound.txt

…

opposite.kt

…

opposite.txt

…

possibleCycleOnConstraints.kt

[NI] Update test data

2018-06-04 12:21:47 +03:00

possibleCycleOnConstraints.txt

…

reportAboutUnresolvedReferenceAsUnresolved.kt

[NI] Record all diagnostics from subcalls resolution results

2018-02-14 14:58:04 +03:00

reportAboutUnresolvedReferenceAsUnresolved.txt

[NI] Record all diagnostics from subcalls resolution results

2018-02-14 14:58:04 +03:00

tryNumberLowerBoundsBeforeUpperBounds.kt

…

tryNumberLowerBoundsBeforeUpperBounds.txt

…

typeConstructorMismatch.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

typeConstructorMismatch.txt

…

typeInferenceExpectedTypeMismatch.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

typeInferenceExpectedTypeMismatch.txt

…

useFunctionLiteralsToInferType.kt

…

useFunctionLiteralsToInferType.txt

…