| // FILE: lib.kt | |
| package foo | |
| inline fun <T> buzz(x: T): T { | |
| log("buzz($x)") | |
| return x | |
| } | |
| // CHECK_NOT_CALLED: buzz | |
| private var LOG = "" | |
| fun log(string: String) { | |
| LOG += "$string;" | |
| } | |
| fun pullLog(): String { | |
| val string = LOG | |
| LOG = "" | |
| return string | |
| } | |
| // FILE: main.kt | |
| package foo | |
| import kotlin.test.* | |
| // CHECK_NOT_CALLED: buzz | |
| fun box(): String { | |
| var c = 2 | |
| while (buzz(c) <= 4) { | |
| if (c > 4) throw Exception("Timeout!") | |
| c++ | |
| } | |
| assertEquals("buzz(2);buzz(3);buzz(4);buzz(5);", pullLog()) | |
| return "OK" | |
| } |