[NI] Fix construction of common system for builder inference

This commit is contained in:
Mikhail Zarechenskiy
2020-01-28 14:09:09 +03:00
parent e3b6104489
commit e42f16c95c
8 changed files with 53 additions and 15 deletions
@@ -0,0 +1,11 @@
// !LANGUAGE: +NewInference
// !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE
fun foo(x: List<String>) {}
fun <K> materialize(): K = TODO()
fun test() {
val x: Sequence<String> = sequence {
foo(materialize())
}
}
@@ -0,0 +1,5 @@
package
public fun foo(/*0*/ x: kotlin.collections.List<kotlin.String>): kotlin.Unit
public fun </*0*/ K> materialize(): K
public fun test(): kotlin.Unit
@@ -14,7 +14,7 @@ fun test_1() {
fun test_2() {
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>sequence<!> {
yield(<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>materialize<!>())
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>yield<!>(<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>materialize<!>())
}
}