openide/plugins/kotlin/idea/tests/testData/checker/codeFragments/withoutBodyProperty.kt

package withoutBodyProperties

class A {
    val aaaB = 1
    <caret>val aaaC = 1
}