[FIR] Improve SMARTCAST_IMPOSSIBLE message
This commit is contained in:
committed by
Space Team
parent
8ac7a6bb90
commit
c8b965c102
@@ -22,7 +22,7 @@ enum class SmartcastStability(private val str: String, val description: String =
|
|||||||
|
|
||||||
// Member value with open / custom getter
|
// Member value with open / custom getter
|
||||||
// Smart casts are not safe
|
// 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
|
// Protected / public member value from another module
|
||||||
// Smart casts are not safe
|
// 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
|
// Local variable already captured by a changing closure
|
||||||
// Smart casts are not safe
|
// 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
|
// Member variable regardless of its visibility
|
||||||
// Smart casts are not safe
|
// 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.
|
// A delegated property.
|
||||||
// Smart casts are not safe
|
// Smart casts are not safe
|
||||||
DELEGATED_PROPERTY("delegate", "delegated property that could have been changed by this time"),
|
DELEGATED_PROPERTY("delegate", "delegated property"),
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user