From c8b965c102a48642d0a123d32b12540c8844f4db Mon Sep 17 00:00:00 2001 From: Kirill Rakhman Date: Thu, 21 Dec 2023 14:53:44 +0100 Subject: [PATCH] [FIR] Improve SMARTCAST_IMPOSSIBLE message --- .../src/org/jetbrains/kotlin/types/SmartcastStability.kt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/core/compiler.common/src/org/jetbrains/kotlin/types/SmartcastStability.kt b/core/compiler.common/src/org/jetbrains/kotlin/types/SmartcastStability.kt index d92d9674712..d549470e5bd 100644 --- a/core/compiler.common/src/org/jetbrains/kotlin/types/SmartcastStability.kt +++ b/core/compiler.common/src/org/jetbrains/kotlin/types/SmartcastStability.kt @@ -22,7 +22,7 @@ enum class SmartcastStability(private val str: String, val description: String = // Member value with open / custom getter // Smart casts are not safe - PROPERTY_WITH_GETTER("custom getter", "property that has open or custom getter"), + PROPERTY_WITH_GETTER("custom getter", "property that has an open or custom getter"), // Protected / public member value from another module // Smart casts are not safe @@ -30,13 +30,13 @@ enum class SmartcastStability(private val str: String, val description: String = // Local variable already captured by a changing closure // Smart casts are not safe - CAPTURED_VARIABLE("captured var", "local variable that is captured by a changing closure"), + CAPTURED_VARIABLE("captured var", "local variable that is mutated in a capturing closure"), // Member variable regardless of its visibility // Smart casts are not safe - MUTABLE_PROPERTY("member", "mutable property that could have been changed by this time"), + MUTABLE_PROPERTY("member", "mutable property that could be mutated concurrently"), // A delegated property. // Smart casts are not safe - DELEGATED_PROPERTY("delegate", "delegated property that could have been changed by this time"), + DELEGATED_PROPERTY("delegate", "delegated property"), }