azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Revert: Fix K2: Introduced AMBIGUOUS_ANONYMOUS_TYPE_INFERRED

Browse Source 
This reverts commit d7adc0ce32.


Merge-request: KT-MR-12569
Merged-by: Vladimir Sukharev <Vladimir.Sukharev@jetbrains.com>
This commit is contained in:
Vladimir Sukharev
2023-10-16 09:05:58 +00:00
committed by Space Team
parent 90102ad8b7
commit da1fa8fce4
2 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirAmbiguousAnonymousTypeChecker.kt
+6
View File
@@ -70,6 +70,12 @@ object FirAmbiguousAnonymousTypeChecker : FirBasicDeclarationChecker() {
context
)
}
for (typeArgument in type.typeArguments) {
checkTypeAndArguments(
typeArgument.type ?: continue,
context, reporter, reportOn
)
}
}
private val FirBlock.singleExpressionType
compiler/testData/diagnostics/tests/inline/returnedAnonymousObjects_2.fir.kt
Vendored
+2 -2
View File
@@ -34,11 +34,11 @@ private inline fun foo22(crossinline f: () -> Int) = Inv(Inv(object : I1 {
fun bar(): Int = f()
}
private inline fun foo31(crossinline f: () -> Int) = Inv(object : I1, I2 {
<!AMBIGUOUS_ANONYMOUS_TYPE_INFERRED!>private inline fun foo31(crossinline f: () -> Int)<!> = Inv(object : I1, I2 {
fun bar(): Int = f()
})
private inline fun foo32(crossinline f: () -> Int) = Inv(Inv(object : I1, I2 {
<!AMBIGUOUS_ANONYMOUS_TYPE_INFERRED!>private inline fun foo32(crossinline f: () -> Int)<!> = Inv(Inv(object : I1, I2 {
fun bar(): Int = f()
}))