| // RUN_PIPELINE_TILL: FRONTEND |
| // CHECK_TYPE |
| |
| fun test() : Unit { |
| var x : Int? = 0 |
| var y : Int = 0 |
| |
| checkSubtype<Int?>(x) |
| checkSubtype<Int>(y) |
| checkSubtype<Int>(x as Int) |
| checkSubtype<Int>(y <!USELESS_CAST!>as Int<!>) |
| checkSubtype<Int?>(x as Int?) |
| checkSubtype<Int?>(y as Int?) |
| checkSubtype<Int?>(x as? Int) |
| checkSubtype<Int?>(y as? Int) |
| checkSubtype<Int?>(x as? Int?) |
| checkSubtype<Int?>(y as? Int?) |
| |
| val s = "" as Any |
| ("" as String?)?.length |
| (<!REDUNDANT_LABEL_WARNING!>data@<!>("" as String?))?.length |
| (<!WRONG_ANNOTATION_TARGET!>@MustBeDocumented()<!>( "" as String?))?.length |
| Unit |
| } |
| |
| /* GENERATED_FIR_TAGS: asExpression, classDeclaration, funWithExtensionReceiver, functionDeclaration, functionalType, |
| infix, integerLiteral, localProperty, nullableType, propertyDeclaration, safeCall, smartcast, stringLiteral, |
| typeParameter, typeWithExtension */ |
