If I run the code below:

fun main() {
    println(listOf(1,2,3).max())
    println(listOf<Int>().max())
}

It uses the new version of max. But if I Ctrl+Click on

max

in the IDE, it takes me to this deprecated version. Is this a known bug?