| // FILE: lib.kt |
| package foo |
| import kotlin.test.* |
| |
| 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 <T> fizz(x: T): T { |
| log("fizz($x)") |
| return x |
| } |
| |
| fun box(): String { |
| assertEquals(true, fizz(true) || buzz(false)) |
| assertEquals("fizz(true);", pullLog()) |
| |
| assertEquals(true, fizz(false) || buzz(true)) |
| assertEquals("fizz(false);buzz(true);", pullLog()) |
| |
| assertEquals(false, fizz(false) || buzz(false)) |
| assertEquals("fizz(false);buzz(false);", pullLog()) |
| |
| return "OK" |
| } |