idea/testData/quickfix/deprecatedSymbolUsage/doNotShortenUserReferences.kt

// "Replace with 'newFun(c)'" "true"

@Deprecated("", ReplaceWith("newFun(c)"))
fun oldFun(c: Char){}

fun newFun(c: Char){}

fun foo() {
    <caret>oldFun(java.io.File.separatorChar)
}