codeql/java/ql/test-kotlin2/library-tests/multiple_extensions/test.kt

fun test(url: String) {
    val s = url.startsWith("1")
    val r = url.removePrefix("2")

    (null!! as kotlin.reflect.KProperty0<Int>).getValue(null, null!!)
    (null!! as kotlin.reflect.KProperty1<Int, Int>).getValue(1, null!!)
}