Support key projection as a second parameter of div operation

Is it possible to use multiple key projections with div operator? The div operation requires <T0, T1> -> <T1, T2> relation, but keyProjection returns KProperty1<out Any, T> and it is not acceptable as an argument due to the incompatibility of T1 != out Any. It means that only standard KProperty1 can be provided as an argument to KProperty1.div function.

Package::dailyStats.keyProjection(dateId) / DailyStats::requests.keyProjection(version) / [...]
                                                                 ^--- illegal because it's KProperty<out Any, Version>
Package::dailyStats.keyProjection(dateId) / DailyStats::something / [...]
                                                                 ^--- valid because it's KProperty<DailyStats, Version>

[zigzago]

I reproduce the bug. I’m going to fix it.

[zigzago]

Hello,

You can workaround the issue like this:

data class Map1(val p1: Map<String, Map2>)
data class Map2(val p2: Map<String, String>)

    @Test
    fun `multiple key projection`() {
        (Map1::p1.keyProjection("a") /
                (Map2::p2.keyProjection("b")  as  KProperty1<Map2, Map<String, String>>)
    }