Delay ForbidInferringPostponedTypeVariableIntoDeclaredUpperBound to 2.0

#KT-57395 Fixed
Related to KT-47986
This commit is contained in:
Mikhail Glukhikh
2023-03-17 16:01:00 +01:00
committed by Space Team
parent 5ef62c8760
commit a43a16b25b
23 changed files with 191 additions and 38 deletions
@@ -1,4 +1,3 @@
// FIR_IDENTICAL
// !RENDER_DIAGNOSTICS_FULL_TEXT
class Foo<K>
@@ -9,7 +8,7 @@ fun <L> Foo<L>.bar() {}
fun <K> id(x: K) = x
fun main() {
val x = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>buildFoo<!> { // can't infer
val x = <!INFERRED_INTO_DECLARED_UPPER_BOUNDS!>buildFoo<!> { // can't infer
val y = id(::bar)
}
}