Kotlin smart-cast assumes too much?

Question

I was reading here: https://kotlinlang.org/docs/reference/typecasts.html#type-erasure-and-generic-type-checks

When I came upon this:

fun handleStrings(list