azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
98ceee784a5e00a06c8ff1b5a4ff659e6dc67081
kotlin-fork/compiler/testData/diagnostics/tests/inference
T
History
Pavel Kirpichenkov 92dae5d8a9 [NI] Split substitution of inferred type parametes into two steps 
Substituting inferred type parameters with single substitutor leads
to incorrect behaviour in cases, when class' type parameters are used in constructor.
As a side effect of two-step substitution, intermediate descriptor is created,
which prevents incorrect substitution. To preserve this side effect, single
resulting substitutor was split into two substitutors: one for substituting fresh
variables and another for substituting inferred variables and known parameters.

^KT-32415 Fixed
2019-11-15 16:58:32 +03:00
..
capturedTypes
[NI] Capture receiver of invoke-based call
2019-06-25 14:09:34 +03:00
coercionToUnit
[NI] Coerce to Unit expression in last block with explicit Unit
2019-06-18 19:38:02 +03:00
commonSystem
[NI] Remove capturing from supertypes during computation of CST
2019-10-31 11:32:05 +03:00
constraints
[NI] Prioritize variables with trivial constraints over complex ones
2019-11-06 15:20:17 +03:00
nestedCalls
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +03:00
nothingType
Add tests for obsolete issues
2019-08-15 13:01:39 +03:00
recursiveCalls
Add wrappers on KotlinType in EffectSystem
2019-05-23 12:23:22 +03:00
recursiveLocalFuns
Add wrappers on KotlinType in EffectSystem
2019-05-23 12:23:22 +03:00
regressions
Support trailing comma
2019-11-01 19:40:20 +03:00
reportingImprovements
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +03:00
substitutions
…
upperBounds
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +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
…
capturedInProjectedFlexibleType.kt
[NI] Fix extracting type variables for flexible types in in captured types
2019-08-01 14:37:41 +03:00
capturedInProjectedFlexibleType.txt
[NI] Fix extracting type variables for flexible types in in captured types
2019-08-01 14:37:41 +03:00
coerceFunctionLiteralToSuspend.kt
Do not coerce function literals to suspend.
2018-08-30 14:50:33 +03:00
coerceFunctionLiteralToSuspend.txt
Do not coerce function literals to suspend.
2018-08-30 14:50:33 +03:00
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] Allow capturing type projections with type variables
2019-04-25 16:19:35 +03:00
dependantOnVariance.txt
…
dependantOnVarianceNullable.kt
…
dependantOnVarianceNullable.txt
…
dependOnExpectedType.kt
…
dependOnExpectedType.txt
…
expectedTypeAdditionalTest.kt
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +03:00
expectedTypeAdditionalTest.txt
Support expected type from explicit cast
2017-10-11 19:23:52 +03:00
expectedTypeDoubleReceiver.kt
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +03:00
expectedTypeDoubleReceiver.txt
Add test for ExpectedTypeFromCast feature
2017-10-16 20:10:57 +03:00
expectedTypeFromCast.kt
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +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
KT-22274 report warning on labels that can't be referenced
2018-07-25 12:08:20 +03:00
expectedTypeFromCastParenthesized.txt
Restrict retention for annotations with target EXPRESSION
2018-07-18 14:21:03 +03:00
expectedTypeWithGenerics.kt
[NI] Add support ExpectedTypeFromCast to new inference. #KT-30405 Fixed
2019-03-15 10:39:29 +03:00
expectedTypeWithGenerics.txt
Support expected type from explicit cast
2017-10-11 19:23:52 +03:00
findViewById.kt
[NI] Add support ExpectedTypeFromCast to new inference. #KT-30405 Fixed
2019-03-15 10:39:29 +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
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +03:00
functionPlaceholderError.txt
…
genericAssignmentOperator.kt
Frontend: Avoid retypechecking the right hand side of assignment operators
2019-11-08 14:02:56 +03:00
genericAssignmentOperator.txt
Frontend: Avoid retypechecking the right hand side of assignment operators
2019-11-08 14:02:56 +03:00
hasErrorInConstrainingTypes.kt
…
hasErrorInConstrainingTypes.txt
…
immutableArrayList.kt
…
immutableArrayList.txt
javac-wrapper: refactoring, fixes and tests
2017-08-29 18:01:36 +03:00
implicitInvokeExtensionWithFunctionalArgument.kt
[NI] Add Nothing constraint if it was inferred from a call
2019-03-25 12:17:28 +03:00
implicitInvokeExtensionWithFunctionalArgument.txt
Fix modifier order in generated overriden functions
2018-01-16 15:42:02 +01:00
implicitInvokeInCompanionObjectWithFunctionalArgument.kt
Report warning about implicitly inferred nothing only for return position
2019-05-22 15:45:59 +03:00
implicitInvokeInCompanionObjectWithFunctionalArgument.txt
Fix modifier order in generated overriden functions
2018-01-16 15:42:02 +01:00
implicitInvokeInObjectWithFunctionalArgument.kt
Report warning about implicitly inferred nothing only for return position
2019-05-22 15:45:59 +03:00
implicitInvokeInObjectWithFunctionalArgument.txt
Fix modifier order in generated overriden functions
2018-01-16 15:42:02 +01:00
implicitInvokeWithFunctionLiteralArgument.kt
Report warning about implicitly inferred nothing only for return position
2019-05-22 15:45:59 +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
…
intersectionTypeMultipleBoundsAsReceiver.txt
…
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
knownTypeParameters.kt
[NI] Add missing substitution of known type parameters
2019-11-15 16:58:07 +03:00
knownTypeParameters.txt
[NI] Add missing substitution of known type parameters
2019-11-15 16:58:07 +03:00
kt619.kt
…
kt619.txt
…
kt1293.kt
[NI] Avoid constraints from expected type for effectively empty system
2019-04-17 12:55:12 +03:00
kt1293.txt
Report UNUSED_PARAMETER on main parameter in 1.3+ #KT-26999 Fixed
2018-10-25 19:10:39 +03:00
kt3184.kt
Report UNUSED_PARAMETER on main parameter in 1.3+ #KT-26999 Fixed
2018-10-25 19:10:39 +03:00
kt3184.txt
Report UNUSED_PARAMETER on main parameter in 1.3+ #KT-26999 Fixed
2018-10-25 19:10:39 +03:00
kt6175.kt
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +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
kt28598.kt
Add test for #KT-28598
2019-02-07 12:12:34 +03:00
kt28598.txt
Fix testdata of #KT-28598
2019-02-07 13:27:05 +03:00
kt28654.kt
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +03:00
kt28654.txt
Add test for KT-28654
2019-02-21 12:04:23 +03:00
kt30405.kt
[NI] Add support ExpectedTypeFromCast to new inference. #KT-30405 Fixed
2019-03-15 10:39:29 +03:00
kt30405.txt
[NI] Add support ExpectedTypeFromCast to new inference. #KT-30405 Fixed
2019-03-15 10:39:29 +03:00
kt32415.kt
[NI] Add missing substitution of known type parameters
2019-11-15 16:58:07 +03:00
kt32415.txt
[NI] Add missing substitution of known type parameters
2019-11-15 16:58:07 +03:00
kt32434.kt
[NI] Look for type variables in captured flexible types
2019-07-22 11:08:39 +03:00
kt32434.txt
[NI] Look for type variables in captured flexible types
2019-07-22 11:08:39 +03:00
lambdaInValInitializerWithAnonymousFunctions.kt
Fix common misspellings
2018-12-21 16:13:42 +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
…
localFunctionInsideIfBlock.kt
KT-25383 fix
2019-02-21 12:04:23 +03:00
localFunctionInsideIfBlock.txt
[NI] Fix exception, recorded type for function statement can be null
2018-07-10 17:41:17 +03:00
mapFunction.kt
…
mapFunction.txt
…
mostSpecificAfterInference.kt
…
mostSpecificAfterInference.txt
…
NoInferenceFromDeclaredBounds.kt
Report warning about implicitly inferred nothing only for return position
2019-05-22 15:45:59 +03:00
NoInferenceFromDeclaredBounds.txt
…
noInformationForParameter.kt
[NI] Update test data for diagnostic tests
2019-04-25 16:19:37 +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] Implement various optimizations for incorporation algorithm
2019-05-26 21:32:46 +03:00
possibleCycleOnConstraints.txt
…
recursiveTypes.kt
[NI] Remove deep types in commosn super type for recursive types
2019-05-23 12:22:42 +03:00
recursiveTypes.txt
[NI] Remove deep types in commosn super type for recursive types
2019-05-23 12:22:42 +03:00
reportAboutUnresolvedReferenceAsUnresolved.kt
[NI] Don't complete nested call if there's no constraints at all
2019-03-25 12:17:28 +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
[NI] Don't return resulting call if return type has uninferred types
2019-04-25 16:19:38 +03:00
typeInferenceExpectedTypeMismatch.txt
…
typeParameterInConstructor.kt
[NI] Split substitution of inferred type parametes into two steps
2019-11-15 16:58:32 +03:00
typeParameterInConstructor.txt
[NI] Split substitution of inferred type parametes into two steps
2019-11-15 16:58:32 +03:00
useFunctionLiteralsToInferType.kt
…
useFunctionLiteralsToInferType.txt
…