kotlin-fork/compiler/fir/analysis-tests/testData/resolve/properties/syntheticPropertiesForJavaAnnotations.kt

// ISSUE: KT-41939

// FILE: Ann.java

public @interface Ann {
    String value()
}

// FILE: main.kt

fun test(ann: Ann) {
    ann.value
    ann.<!UNRESOLVED_REFERENCE{LT}!><!UNRESOLVED_REFERENCE{PSI}!>value<!>()<!> // should be an error
}