| // RUN_PIPELINE_TILL: FRONTEND |
| // DIAGNOSTICS: -UNUSED_EXPRESSION |
| // CHECK_TYPE |
| // Issue: KT-30406 |
| |
| interface Option<out T> { |
| val s: String |
| } |
| class Some<T>(override val s: String) : Option<T> |
| class None(override val s: String = "None") : Option<Int> |
| |
| fun test(a: Int): Option<Any> = |
| <!DEBUG_INFO_EXPRESSION_TYPE("Option<kotlin.Any>")!>if (a == 239) |
| <!DEBUG_INFO_EXPRESSION_TYPE("Some<kotlin.Any>")!>Some("239")<!> |
| else |
| <!DEBUG_INFO_EXPRESSION_TYPE("None")!>None()<!><!> |
| |
| /* GENERATED_FIR_TAGS: classDeclaration, equalityExpression, funWithExtensionReceiver, functionDeclaration, |
| functionalType, ifExpression, infix, integerLiteral, interfaceDeclaration, nullableType, out, override, |
| primaryConstructor, propertyDeclaration, stringLiteral, typeParameter, typeWithExtension */ |
