| // RUN_PIPELINE_TILL: BACKEND |
| // WITH_STDLIB |
| |
| @file:MustUseReturnValues |
| |
| fun stringF(): String = "" |
| fun nsf(): String? = "null" |
| |
| fun Any.consume(): Unit = Unit |
| fun String.str(): String = "" |
| |
| fun elvis(e: String?): String { |
| val c = nsf() ?: stringF() // used |
| nsf() ?: stringF() // unused |
| |
| return e ?: nsf() ?: stringF() |
| } |
| |
| fun safeCalls() { |
| stringF().consume() // used |
| stringF().str() // unused |
| nsf()?.consume() // used |
| nsf()?.str() // unused |
| } |
| |
| fun notNullCall(s: String?) { |
| s!! // locals are discardable, we propagate |
| nsf()!! |
| } |
| |
| fun notNullCall2(s: String?) { |
| val x = s!! |
| val y = nsf()!! |
| } |
| |
| /* GENERATED_FIR_TAGS: annotationUseSiteTargetFile, checkNotNullCall, elvisExpression, funWithExtensionReceiver, |
| functionDeclaration, localProperty, nullableType, propertyDeclaration, safeCall, stringLiteral */ |
