mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
11 lines
437 B
Plaintext
11 lines
437 B
Plaintext
// "Replace with safe (?.) call" "true"
|
|
// WITH_STDLIB
|
|
// ERROR: Type mismatch: inferred type is Int? but Int was expected
|
|
|
|
// Note: There should be no error in FIR but errors are not currently checked for FIR
|
|
class T {
|
|
fun foo(s: String?): Int = s?.length ?: <caret>
|
|
}
|
|
|
|
// FUS_QUICKFIX_NAME: org.jetbrains.kotlin.idea.quickfix.ReplaceWithSafeCallFix
|
|
// FUS_K2_QUICKFIX_NAME: org.jetbrains.kotlin.idea.quickfix.ReplaceWithSafeCallFix |