| // LANGUAGE: -NameBasedDestructuring -DeprecateNameMismatchInShortDestructuringWithParentheses -EnableNameBasedDestructuringShortForm | |
| // RUN_PIPELINE_TILL: FRONTEND | |
| // CHECK_TYPE | |
| data class A(val x: Int, val y: String) | |
| fun foo(a: A) { | |
| val (b, c) = a | |
| checkSubtype<Int>(b) | |
| checkSubtype<String>(c) | |
| } | |
| /* GENERATED_FIR_TAGS: classDeclaration, data, destructuringDeclaration, funWithExtensionReceiver, functionDeclaration, | |
| functionalType, infix, localProperty, nullableType, primaryConstructor, propertyDeclaration, typeParameter, | |
| typeWithExtension */ |