azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
df700117c3b56f0d2a164aa4e94b9edc3a397fed
kotlin-fork/compiler/testData/codegen/box/inference
T
History
pyos 03304bce96 FIR: enhance Java type parameter bounds 
This also fixes handling of self-recursive types.

TODO: fix jspecify/{strict,warn}Mode/Captured.fir.kt
2021-09-06 13:11:08 +03:00
..
builderInference
[FIR] Distinguish stub types for builder inference and for subtyping
2021-08-26 10:08:52 +03:00
approximateNonTopLevelCapturedTypes.kt
NI: approximate not top-level captured types during code generation
2020-08-05 10:36:36 +03:00
builderInference.kt
JVM_IR: when convering references to lambdas, bind the receiver
2020-10-21 15:21:01 +02:00
builderInferenceLeakingVariable.kt
Fix builder inference tests
2021-05-28 15:36:22 +03:00
capturedStarProjection.kt
…
capturedTypesSubstitutionIntoAbbreviation.kt
Don't approximate abbreviation during substitution it as it can't be projected at top-level
2020-12-29 16:08:38 +03:00
coercionToUnitForLambdaReturnTypeWithFlexibleConstraint.kt
FIR: no constraint for coerced-to-Unit last expression of lambda
2020-12-15 17:52:49 +03:00
coercionToUnitWithLastLambdaExpression.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
coerctionToUnitForLastExpressionWithStarProjection.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
earlyReturnInsideCrossinlineLambda.kt
…
inferenceWithTypeVariableInsideCapturedType.kt
Take into account captured types with variables during fixation
2020-08-27 11:06:14 +03:00
integerLiteralTypeInLamdaReturnType.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
intersectionTypeInArguments.kt
[FIR2IR] Approximate non-denotable types when converting ConeType to IrType
2021-03-02 19:11:21 +03:00
kt10822.kt
[FIR2IR] Populate overridden symbols even for !isOverride
2020-05-14 13:40:36 +03:00
kt26345.kt
Ignore codegen test for Android
2020-06-29 15:26:20 +03:00
kt32429.kt
[FIR] Fix completing bodies of property setters with delegates
2020-06-22 12:29:26 +03:00
kt35684.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
kt36446.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
kt38664.kt
[JS TESTS] Disable mangler checker in tests
2021-07-01 17:40:41 +03:00
kt39824.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
kt42042.kt
Update test affected by ProperTypeInferenceConstraintsProcessing feature
2021-07-16 13:26:37 +00:00
kt42130.kt
[FIR] Transform when conditions with boolean expected type
2020-09-24 14:59:35 +03:00
kt47316.kt
FIR: enhance Java type parameter bounds
2021-09-06 13:11:08 +03:00
lambdasWithExtensionFunctionType.kt
[FIR] Properly pass type attributes for inference of lambda with type variable as expected type
2020-09-29 10:17:42 +03:00
lambdaWithStarReturn.kt
FIR: permit * as FunctionN type argument
2021-04-15 14:59:27 +03:00
lastExpressionOfLambdaWithNothingConstraint.kt
…
manyConstraintsDueToFlexibleRawTypes.kt
Introduce warnings reporting by missed constraints because of incorrect optimization in the constraints processor
2021-04-30 15:46:04 +03:00
manyFlexibleTypeParametersFromJavaAndConversions.kt
Fold lower constraints like (T!!..T) and (T..T?) into the latter one
2020-08-26 19:23:20 +03:00
mapCollectChainWithNullResult.kt
Use initial system for completion if common one is effectively empty
2020-08-28 17:47:08 +03:00
noCoercionToUniForNullableLambdaReturnType.kt
Do not force coercion to Unit for nullable lambda return type
2020-08-13 10:40:51 +03:00
noCoercionToUnitWithEqualityConstraintForNullableReturnType.kt
FIR: keep nullability of lambda return type
2020-12-05 12:25:50 +03:00
noNothingValueInsideSpecialCall.kt
Relax rules about inferring to Nothing for special calls
2020-07-16 09:56:46 +03:00
plusAssignInsideLambda.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
recursiveConstraintInsideTypeArgumentWithStarProjection.kt
Fix SOE when recursive type argument is used with star projection
2020-08-26 19:23:21 +03:00
referenceToCatchParameterFromLambdaExpression.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
specialCallsWithCallableReferences.kt
Remove NonStrictOnlyInputTypesChecks LF and introduce opposite – StrictOnlyInputTypesChecks, set default as strict
2021-03-29 16:17:30 +03:00
substituteIntersectionTypeInsideCapType.kt
Substitute captured types with inner intersection one (NewTypeSubstitutor)
2021-02-11 14:20:14 +03:00
subtypingOfIntersectionIltInsideFlexible.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
sumOfOverloads.kt
FIR: Fix OverloadResolutionByLambdaReturnType case
2021-04-15 14:48:20 +03:00
suspendExtensionRecevierFromConstraint.kt
[Wasm] Mute codegen box tests
2020-11-09 16:04:43 +03:00
unsafeVarianceCodegen.kt
…
violatingUpperBoundForSelfType.kt
Update test affected by ProperTypeInferenceConstraintsProcessing feature
2021-07-16 13:26:37 +00:00