| // RUN_PIPELINE_TILL: FRONTEND |
| // FIR_IDENTICAL |
| // DIAGNOSTICS: -UNUSED_VARIABLE |
| // CHECK_TYPE |
| /* |
| * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE) |
| * |
| * SPEC VERSION: 0.1-220 |
| * PRIMARY LINKS: expressions, call-and-property-access-expressions, callable-references -> paragraph 11 -> sentence 3 |
| */ |
| |
| import kotlin.reflect.KFunction0 |
| |
| fun test() { |
| val a = if (true) { |
| val x = 1 |
| "".length |
| ::foo |
| } else { |
| ::foo |
| } |
| a checkType { _<KFunction0<Int>>() } |
| } |
| |
| fun foo(): Int = 0 |
| |
| /* GENERATED_FIR_TAGS: callableReference, classDeclaration, funWithExtensionReceiver, functionDeclaration, |
| functionalType, ifExpression, infix, integerLiteral, lambdaLiteral, localProperty, nullableType, propertyDeclaration, |
| stringLiteral, typeParameter, typeWithExtension */ |
