KtConstructorSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  containingClassIdIfNonLocal: P
  contextReceivers: []
  hasStableParameterNames: true
  isActual: false
  isExpect: false
  isExtension: false
  isPrimary: true
  origin: SOURCE
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: P
  symbolKind: CLASS_MEMBER
  typeParameters: []
  valueParameters: [
    KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: KtKotlinPropertySymbol:
        annotationsList: []
        backingFieldSymbol: KtBackingFieldSymbol:
          annotationsList: []
          callableIdIfNonLocal: null
          contextReceivers: []
          isExtension: false
          name: field
          origin: PROPERTY_BACKING_FIELD
          owningProperty: KtKotlinPropertySymbol(/P.x)
          receiverParameter: null
          returnType: KtUsualClassType:
            annotationsList: []
            ownTypeArguments: []
            type: kotlin/Int
          symbolKind: LOCAL
          typeParameters: []
          getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
          getContainingJvmClassName: P
          getContainingModule: KtSourceModule "Sources of main"
          deprecationStatus: null
        callableIdIfNonLocal: /P.x
        contextReceivers: []
        getter: KtPropertyGetterSymbol:
          annotationsList: []
          callableIdIfNonLocal: null
          contextReceivers: []
          hasBody: false
          hasStableParameterNames: true
          isDefault: true
          isExtension: false
          isInline: false
          isOverride: false
          modality: FINAL
          origin: SOURCE
          receiverParameter: null
          returnType: KtUsualClassType:
            annotationsList: []
            ownTypeArguments: []
            type: kotlin/Int
          symbolKind: ACCESSOR
          typeParameters: []
          valueParameters: []
          visibility: Public
          getDispatchReceiver(): KtUsualClassType:
            annotationsList: []
            ownTypeArguments: []
            type: P
          getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
          getContainingJvmClassName: P
          getContainingModule: KtSourceModule "Sources of main"
          deprecationStatus: null
        hasBackingField: true
        hasGetter: true
        hasSetter: false
        initializer: KtNonConstantInitializerValue(val x: Int)
        isActual: false
        isConst: false
        isDelegatedProperty: false
        isExpect: false
        isExtension: false
        isFromPrimaryConstructor: true
        isLateInit: false
        isOverride: false
        isStatic: false
        isVal: true
        modality: FINAL
        name: x
        origin: SOURCE
        receiverParameter: null
        returnType: KtUsualClassType:
          annotationsList: []
          ownTypeArguments: []
          type: kotlin/Int
        setter: null
        symbolKind: CLASS_MEMBER
        typeParameters: []
        visibility: Public
        getDispatchReceiver(): KtUsualClassType:
          annotationsList: []
          ownTypeArguments: []
          type: P
        getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
        getContainingJvmClassName: P
        getContainingModule: KtSourceModule "Sources of main"
        deprecationStatus: null
        getterDeprecationStatus: null
        javaGetterName: getX
        javaSetterName: null
        setterDeprecationStatus: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: x
      origin: SOURCE
      receiverParameter: null
      returnType: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Int
      symbolKind: LOCAL
      typeParameters: []
      getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
      getContainingJvmClassName: P
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
    KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: KtKotlinPropertySymbol:
        annotationsList: []
        backingFieldSymbol: KtBackingFieldSymbol:
          annotationsList: []
          callableIdIfNonLocal: null
          contextReceivers: []
          isExtension: false
          name: field
          origin: PROPERTY_BACKING_FIELD
          owningProperty: KtKotlinPropertySymbol(/P.y)
          receiverParameter: null
          returnType: KtUsualClassType:
            annotationsList: []
            ownTypeArguments: []
            type: kotlin/Int
          symbolKind: LOCAL
          typeParameters: []
          getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
          getContainingJvmClassName: P
          getContainingModule: KtSourceModule "Sources of main"
          deprecationStatus: null
        callableIdIfNonLocal: /P.y
        contextReceivers: []
        getter: KtPropertyGetterSymbol:
          annotationsList: []
          callableIdIfNonLocal: null
          contextReceivers: []
          hasBody: false
          hasStableParameterNames: true
          isDefault: true
          isExtension: false
          isInline: false
          isOverride: false
          modality: FINAL
          origin: SOURCE
          receiverParameter: null
          returnType: KtUsualClassType:
            annotationsList: []
            ownTypeArguments: []
            type: kotlin/Int
          symbolKind: ACCESSOR
          typeParameters: []
          valueParameters: []
          visibility: Public
          getDispatchReceiver(): KtUsualClassType:
            annotationsList: []
            ownTypeArguments: []
            type: P
          getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
          getContainingJvmClassName: P
          getContainingModule: KtSourceModule "Sources of main"
          deprecationStatus: null
        hasBackingField: true
        hasGetter: true
        hasSetter: false
        initializer: KtNonConstantInitializerValue(val y: Int)
        isActual: false
        isConst: false
        isDelegatedProperty: false
        isExpect: false
        isExtension: false
        isFromPrimaryConstructor: true
        isLateInit: false
        isOverride: false
        isStatic: false
        isVal: true
        modality: FINAL
        name: y
        origin: SOURCE
        receiverParameter: null
        returnType: KtUsualClassType:
          annotationsList: []
          ownTypeArguments: []
          type: kotlin/Int
        setter: null
        symbolKind: CLASS_MEMBER
        typeParameters: []
        visibility: Public
        getDispatchReceiver(): KtUsualClassType:
          annotationsList: []
          ownTypeArguments: []
          type: P
        getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
        getContainingJvmClassName: P
        getContainingModule: KtSourceModule "Sources of main"
        deprecationStatus: null
        getterDeprecationStatus: null
        javaGetterName: getY
        javaSetterName: null
        setterDeprecationStatus: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: y
      origin: SOURCE
      receiverParameter: null
      returnType: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Int
      symbolKind: LOCAL
      typeParameters: []
      getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
      getContainingJvmClassName: P
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
  ]
  visibility: Public
  getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
  getContainingJvmClassName: P
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtNamedClassOrObjectSymbol:
  annotationsList: []
  classIdIfNonLocal: P
  classKind: CLASS
  companionObject: null
  contextReceivers: []
  isActual: false
  isData: true
  isExpect: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: FINAL
  name: P
  origin: SOURCE
  superTypes: [
    KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Any
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
  getContainingModule: KtSourceModule "Sources of main"
  annotationApplicableTargets: null
  deprecationStatus: null

KtLocalVariableSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  contextReceivers: []
  isExtension: false
  isVal: true
  name: l
  origin: SOURCE
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Int
  symbolKind: LOCAL
  typeParameters: []
  getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
  getContainingJvmClassName: null
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtLocalVariableSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  contextReceivers: []
  isExtension: false
  isVal: true
  name: r
  origin: SOURCE
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Int
  symbolKind: LOCAL
  typeParameters: []
  getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
  getContainingJvmClassName: null
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtFunctionSymbol:
  annotationsList: []
  callableIdIfNonLocal: /destruct
  contextReceivers: []
  contractEffects: []
  hasStableParameterNames: true
  isActual: false
  isBuiltinFunctionInvoke: false
  isExpect: false
  isExtension: false
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  modality: FINAL
  name: destruct
  origin: SOURCE
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Int
  symbolKind: TOP_LEVEL
  typeParameters: []
  valueParameters: []
  visibility: Public
  getContainingFileSymbol: KtFileSymbol(destructuringDeclaration.kt)
  getContainingJvmClassName: DestructuringDeclarationKt
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null