codeql/java/ql/test-kotlin1/library-tests/java_properties/Use.kt

fun use(prop: Prop): String {
    return prop.foo
}