mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
This quick fix is for the CAST_NEVER_SUCCEEDS error. ^KTIJ-29537 GitOrigin-RevId: d4d1ec2d402e86b63f4ff5de105d5410fb6afe6e
7 lines
306 B
Kotlin
7 lines
306 B
Kotlin
// "Replace cast with call to 'toShort()'" "true"
|
|
|
|
fun foo(c: Char) {
|
|
val a = c as<caret> Short
|
|
}
|
|
// FUS_QUICKFIX_NAME: org.jetbrains.kotlin.idea.quickfix.ReplacePrimitiveCastWithNumberConversionFix
|
|
// FUS_K2_QUICKFIX_NAME: org.jetbrains.kotlin.idea.quickfix.ReplacePrimitiveCastWithNumberConversionFix |