I find curious that this code works ```fun lt T gt getClass type T Class lt out T gt if type = null return getClass type else error Unexpected private fun lt T Any gt getClass type T = type class java``` but if I inline the second method ```fun lt T gt getClass type T Class lt out T gt if type = null return type class java Compilation error else error Unexpected ``` the smart cast fails ```Expression in a class literal has a nullable type T use to make the type non nullable```

fun <T> getClass(type: T): Class<out T> {
    if (type != null) {
        return getClass(type)
    } else {
        error("Unexpected")
    }
}
private fun <T: Any> getClass(type: T) = type::class.java

but if I inline the second method

fun <T> getClass(type: T): Class<out T> {
    if (type != null) {
        return type::class.java // Compilation error
    } else {
        error("Unexpected")
    }
}

the smart cast fails

Expression in a class literal has a nullable type 'T', use !! to make the type non-nullable

Sam

03/22/2023, 10:42 AM

I think this is https://youtrack.jetbrains.com/issue/KT-37878

diego-gomez-olvera

03/22/2023, 10:48 AM

indeed

7 Views

#compiler Join Slack