`data class Data(val a: Int)` Why `Data::a` does n...

# language-proposals

[rrader]

data class Data(val a: Int)
Why Data::a does not return KProperty<Data, Int> by return KProperty<Int> ?
In first case we can write a function that receives only `Data`'s properties, something like func process(prop: KProperty<Data, Int>)

[ilya.gorbunov]

Data::a returns KProperty1<Data, Int>

[ilya.gorbunov]

Data(1)::a returns KProperty0<Int>, because it's bound to the instance Data(1)

[rrader]

Oh, my fault, it is already working as expected

[rrader]

it was fixed by introducing the KProperty1?

[rrader]

this is the reason why class name is KProperty1 ?

[ilya.gorbunov]

KProperty1 means that it takes one receiver parameter. A bound property is KProperty0 because it doesn't need a receiver.