KaConstructorSymbol:
  anchorPsi: KtPrimaryConstructor
  annotations: []
  callableId: null
  containingClassId: P
  contextParameters: []
  contextReceivers: []
  hasStableParameterNames: true
  isActual: false
  isCompanion: false
  isExpect: false
  isExtension: false
  isExternal: false
  isPrimary: true
  location: CLASS
  modality: FINAL
  origin: SOURCE
  psi: KtPrimaryConstructor
  realPsi: KtPrimaryConstructor
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: P
  typeParameters: []
  valueParameters: [
    KaValueParameterSymbol:
      anchorPsi: KtParameter
      annotations: []
      callableId: null
      contextParameters: []
      contextReceivers: []
      hasDeclaredDefaultValue: false
      hasDefaultValue: false
      isActual: false
      isCompanion: false
      isCrossinline: false
      isDelegated: false
      isExpect: false
      isExtension: false
      isExternal: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVal: true
      isVararg: false
      location: LOCAL
      modality: FINAL
      name: x
      origin: SOURCE
      primaryConstructorProperty: KaKotlinPropertySymbol(/P.x)
      psi: KtParameter
      realPsi: KtParameter
      receiverParameter: null
      returnType: KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/Int
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: KaFileSymbol(destructuringDeclaration.kt)
      getContainingJvmClassName: P
      getContainingModule: KaSourceModule "Sources of main"
      deprecation: null
      importableFqName: null
    KaValueParameterSymbol:
      anchorPsi: KtParameter
      annotations: []
      callableId: null
      contextParameters: []
      contextReceivers: []
      hasDeclaredDefaultValue: false
      hasDefaultValue: false
      isActual: false
      isCompanion: false
      isCrossinline: false
      isDelegated: false
      isExpect: false
      isExtension: false
      isExternal: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVal: true
      isVararg: false
      location: LOCAL
      modality: FINAL
      name: y
      origin: SOURCE
      primaryConstructorProperty: KaKotlinPropertySymbol(/P.y)
      psi: KtParameter
      realPsi: KtParameter
      receiverParameter: null
      returnType: KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/Int
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: KaFileSymbol(destructuringDeclaration.kt)
      getContainingJvmClassName: P
      getContainingModule: KaSourceModule "Sources of main"
      deprecation: null
      importableFqName: null
  ]
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(destructuringDeclaration.kt)
  getContainingJvmClassName: P
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  javaMethodName: null
  importableFqName: P

KaNamedClassSymbol:
  anchorPsi: KtClass
  annotations: []
  classId: P
  classKind: CLASS
  companionObject: null
  contextReceivers: []
  isActual: false
  isData: true
  isExpect: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  location: TOP_LEVEL
  modality: FINAL
  name: P
  origin: SOURCE
  psi: KtClass
  realPsi: KtClass
  superTypes: [
    KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Any
  ]
  typeParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(destructuringDeclaration.kt)
  getContainingModule: KaSourceModule "Sources of main"
  applicableAnnotationTargets: null
  deprecation: null
  importableFqName: P

KaLocalVariableSymbol:
  anchorPsi: KtDestructuringDeclarationEntry
  annotations: []
  callableId: null
  contextParameters: []
  contextReceivers: []
  isActual: false
  isCompanion: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isLateInit: false
  isVal: true
  location: LOCAL
  modality: FINAL
  name: l
  origin: SOURCE
  psi: KtDestructuringDeclarationEntry
  realPsi: KtDestructuringDeclarationEntry
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Int
  typeParameters: []
  visibility: LOCAL
  getContainingFileSymbol: KaFileSymbol(destructuringDeclaration.kt)
  getContainingJvmClassName: null
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  importableFqName: null

KaLocalVariableSymbol:
  anchorPsi: KtDestructuringDeclarationEntry
  annotations: []
  callableId: null
  contextParameters: []
  contextReceivers: []
  isActual: false
  isCompanion: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isLateInit: false
  isVal: true
  location: LOCAL
  modality: FINAL
  name: r
  origin: SOURCE
  psi: KtDestructuringDeclarationEntry
  realPsi: KtDestructuringDeclarationEntry
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Int
  typeParameters: []
  visibility: LOCAL
  getContainingFileSymbol: KaFileSymbol(destructuringDeclaration.kt)
  getContainingJvmClassName: null
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  importableFqName: null

KaNamedFunctionSymbol:
  anchorPsi: KtNamedFunction
  annotations: []
  callableId: /destruct
  contextParameters: []
  contextReceivers: []
  contractEffects: []
  hasStableParameterNames: true
  isActual: false
  isBuiltinFunctionInvoke: false
  isCompanion: false
  isExpect: false
  isExtension: false
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  isTailRec: false
  location: TOP_LEVEL
  modality: FINAL
  name: destruct
  origin: SOURCE
  psi: KtNamedFunction
  realPsi: KtNamedFunction
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Int
  typeParameters: []
  valueParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(destructuringDeclaration.kt)
  getContainingJvmClassName: DestructuringDeclarationKt
  canBeOperator: false
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  returnValueStatus: Unspecified
  javaMethodName: destruct
  importableFqName: destruct
