codeql/java/ql/test-kotlin1/library-tests/dataflow/summaries/use.kt

import java.io.Closeable

class UseFlowTest {
    fun <T> taint(t: T) = t
    fun sink(s: Closeable) { }

    fun test(input: Closeable) {
        taint(input).use { it -> sink(it) } // $ hasValueFlow
        sink(taint(input).use { it }) // $ hasValueFlow
    }
}