How do you usually deal with `Smart cast to 'X' is...

# random

[ribesg]

How do you usually deal with Smart cast to 'X' is impossible, because 'x' is a property that has open or custom getter? I usually do val x = x locally but then I get a name shadowing warning. I don't really like having to find another name just because I have a custom getter. What would be a clean solution?

[Sam]

.let can be helpful, and (I think) won’t produce the warning:

x?.let { x -> ... }

[ribesg]

Yes, but it's less readable I think. Example:

city?.let { city ->
                Text(city.name)
                Text(city.country)
            } ?: run {
                Text("…")
            }

val city = city // I'd rather not do that
            if (city == null) {
                Text("…")
            } else {
                Text(city.name)
                Text(city.country)
            }

[hallvard]

I find the first of your two examples to be more readable than the second, actually, since I will not spend time on wondering about the val x = x line.

[Sam]

You could always extract a method with x as a parameter

[ephemient]

for some cases of this, https://youtrack.jetbrains.com/issue/KT-27325/Allow-smartcasts-for-well-behaved-delegates / https://youtrack.jetbrains.com/issue/KT-53894/New-Contract-for-stable-delegated-properties