Kirill Rakhman 85a1d67d19 [FIR] Fix giant type produced by CST ...

#KT-65704 Fixed

2024-03-18 08:41:26 +00:00

..

builderInference

…

callableReferenceOnInstance.fir.txt

…

callableReferenceOnInstance.kt

…

callableReferencesAndDefaultParameters.fir.txt

…

callableReferencesAndDefaultParameters.kt

…

callableReferenceToLocalClass.fir.txt

…

callableReferenceToLocalClass.kt

…

capturedTypeForJavaTypeParameter.fir.txt

…

capturedTypeForJavaTypeParameter.kt

…

coercionToUnitWithEarlyReturn.fir.txt

…

coercionToUnitWithEarlyReturn.kt

…

definitelyNotNullIntersectionType.fir.txt

…

definitelyNotNullIntersectionType.kt

…

dnnThrowJavaCall.fir.txt

…

dnnThrowJavaCall.kt

…

elvisAndUnit.fir.txt

…

elvisAndUnit.kt

…

equals.fir.txt

…

equals.kt

…

extensionCallableReferences.fir.txt

…

extensionCallableReferences.kt

…

flexibleTypeAtRightSideOfElvis.fir.txt

…

flexibleTypeAtRightSideOfElvis.kt

…

integerLiteralAsComparable.fir.txt

…

integerLiteralAsComparable.kt

…

intersectionTypesInConstraints.fir.txt

…

intersectionTypesInConstraints.kt

…

javaCollector.fir.txt

K2: don't approximate captured types in ResultTypeResolver in certain cases

2024-03-11 13:38:05 +00:00

javaCollector.kt

K2: don't approximate captured types in ResultTypeResolver in certain cases

2024-03-11 13:38:05 +00:00

kt40131.fir.txt

…

kt40131.kt

…

kt41989.fir.txt

…

kt41989.kt

…

kt53494.fir.txt

…

kt53494.kt

…

kt54990.fir.txt

…

kt54990.kt

…

lambdaAsReturnStatementOfLambda.fir.txt

…

lambdaAsReturnStatementOfLambda.kt

…

lambdaInElvis.fir.txt

…

lambdaInElvis.kt

…

lambdasReturns.fir.txt

…

lambdasReturns.kt

…

lambdaWithoutExpectedType.fir.txt

…

lambdaWithoutExpectedType.kt

…

nestedExtensionFunctionType.fir.txt

…

nestedExtensionFunctionType.kt

…

nestedLambdas.fir.txt

…

nestedLambdas.kt

…

noEnhancementOnFinalStaticConstFields.fir.txt

…

noEnhancementOnFinalStaticConstFields.kt

…

nullableIntegerLiteralType.fir.txt

…

nullableIntegerLiteralType.kt

…

onlyInputTypesCapturedTypeWithRecursiveBounds.fir.txt

K2: repeat K1 representation for flexible type parameters

2024-03-11 13:38:05 +00:00

onlyInputTypesCapturedTypeWithRecursiveBounds.kt

[Tests] Reproduce #KT-65704

2024-03-18 08:41:26 +00:00

onlyInputTypesCapturedTypeWithRecursiveBoundsAfter.fir.txt

[FIR] Fix giant type produced by CST

2024-03-18 08:41:26 +00:00

onlyInputTypesCapturedTypeWithRecursiveBoundsAfter.kt

[Tests] Reproduce #KT-65704

2024-03-18 08:41:26 +00:00

overloadResolutionByLambdaArgumentType.fir.txt

…

overloadResolutionByLambdaArgumentType.kt

…

receiverWithCapturedType.fir.txt

…

receiverWithCapturedType.kt

…

recursiveSelfTypes.fir.txt

…

recursiveSelfTypes.kt

…

selfTypeFromJava.fir.txt

K2: repeat K1 representation for flexible type parameters

2024-03-11 13:38:05 +00:00

selfTypeFromJava.kt

…

simpleCapturedTypes.fir.txt

…

simpleCapturedTypes.kt

…

typeDepthForTypeAlias.fir.txt

…

typeDepthForTypeAlias.kt

…

unitUpperBound.fir.txt

[stdlib] Specify AT_MOST_ONCE contract for default-value-like functional parameters KT-54879

2024-03-11 18:12:27 +00:00

unitUpperBound.kt

…