KaNamedFunctionSymbol:
  anchorPsi: KtNamedFunction
  annotations: []
  callableId: /InterfaceA.foo
  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: CLASS
  modality: ABSTRACT
  name: foo
  origin: SOURCE
  psi: KtNamedFunction
  realPsi: KtNamedFunction
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Unit
  typeParameters: []
  valueParameters: []
  visibility: PUBLIC
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: InterfaceA
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingJvmClassName: InterfaceA
  canBeOperator: false
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  returnValueStatus: Unspecified
  javaMethodName: foo
  importableFqName: null

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

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

KaNamedFunctionSymbol:
  anchorPsi: KtNamedFunction
  annotations: []
  callableId: /SealedClassWithImplicitConstructor.function
  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: CLASS
  modality: FINAL
  name: function
  origin: SOURCE
  psi: KtNamedFunction
  realPsi: KtNamedFunction
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Unit
  typeParameters: []
  valueParameters: []
  visibility: PUBLIC
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: SealedClassWithImplicitConstructor
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingJvmClassName: SealedClassWithImplicitConstructor
  canBeOperator: false
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  returnValueStatus: Unspecified
  javaMethodName: function
  importableFqName: null

KaNamedFunctionSymbol:
  anchorPsi: KtNamedFunction
  annotations: []
  callableId: /SealedClassWithImplicitConstructor.privateFunction
  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: CLASS
  modality: FINAL
  name: privateFunction
  origin: SOURCE
  psi: KtNamedFunction
  realPsi: KtNamedFunction
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Unit
  typeParameters: []
  valueParameters: []
  visibility: PRIVATE
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: SealedClassWithImplicitConstructor
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingJvmClassName: SealedClassWithImplicitConstructor
  canBeOperator: false
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  returnValueStatus: Unspecified
  javaMethodName: privateFunction
  importableFqName: null

KaNamedFunctionSymbol:
  anchorPsi: KtNamedFunction
  annotations: []
  callableId: /SealedClassWithImplicitConstructor.internalFunction
  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: CLASS
  modality: FINAL
  name: internalFunction
  origin: SOURCE
  psi: KtNamedFunction
  realPsi: KtNamedFunction
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Unit
  typeParameters: []
  valueParameters: []
  visibility: INTERNAL
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: SealedClassWithImplicitConstructor
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingJvmClassName: SealedClassWithImplicitConstructor
  canBeOperator: false
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  returnValueStatus: Unspecified
  javaMethodName: internalFunction$main
  importableFqName: null

KaKotlinPropertySymbol:
  anchorPsi: KtProperty
  annotations: []
  backingFieldSymbol: KaBackingFieldSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    isActual: false
    isCompanion: false
    isDelegated: false
    isExpect: false
    isExtension: false
    isExternal: false
    isNotDefault: false
    isVal: false
    location: PROPERTY
    modality: FINAL
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KaKotlinPropertySymbol(/SealedClassWithImplicitConstructor.variable)
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Int
    typeParameters: []
    visibility: PRIVATE
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: SealedClassWithImplicitConstructor
    getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
    getContainingJvmClassName: SealedClassWithImplicitConstructor
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    importableFqName: null
  callableId: /SealedClassWithImplicitConstructor.variable
  contextParameters: []
  contextReceivers: []
  getter: KaPropertyGetterSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    hasStableParameterNames: true
    isActual: false
    isCompanion: false
    isExpect: false
    isExtension: false
    isExternal: false
    isInline: false
    isNotDefault: false
    isOverride: false
    location: PROPERTY
    modality: FINAL
    origin: SOURCE
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Int
    typeParameters: []
    valueParameters: []
    visibility: PUBLIC
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: SealedClassWithImplicitConstructor
    getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
    getContainingJvmClassName: SealedClassWithImplicitConstructor
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: getVariable
    importableFqName: null
  hasBackingField: true
  hasGetter: true
  hasSetter: true
  initializer: KaConstantInitializerValue(1)
  isActual: false
  isCompanion: false
  isConst: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: false
  location: CLASS
  modality: FINAL
  name: variable
  origin: SOURCE
  primaryConstructorParameter: null
  psi: KtProperty
  realPsi: KtProperty
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Int
  setter: KaPropertySetterSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    hasStableParameterNames: true
    isActual: false
    isCompanion: false
    isExpect: false
    isExtension: false
    isExternal: false
    isInline: false
    isNotDefault: false
    isOverride: false
    location: PROPERTY
    modality: FINAL
    origin: SOURCE
    parameter: KaValueParameterSymbol:
      anchorPsi: KtProperty
      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: value
      origin: SOURCE
      primaryConstructorProperty: null
      psi: null
      realPsi: null
      receiverParameter: null
      returnType: KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/Int
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
      getContainingJvmClassName: null
      getContainingModule: KaSourceModule "Sources of main"
      deprecation: null
      importableFqName: null
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Unit
    typeParameters: []
    valueParameters: [
      KaValueParameterSymbol:
        anchorPsi: KtProperty
        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: value
        origin: SOURCE
        primaryConstructorProperty: null
        psi: null
        realPsi: null
        receiverParameter: null
        returnType: KaUsualClassType:
          annotations: []
          typeArguments: []
          type: kotlin/Int
        typeParameters: []
        visibility: PUBLIC
        getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
        getContainingJvmClassName: null
        getContainingModule: KaSourceModule "Sources of main"
        deprecation: null
        importableFqName: null
    ]
    visibility: PUBLIC
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: SealedClassWithImplicitConstructor
    getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
    getContainingJvmClassName: SealedClassWithImplicitConstructor
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: setVariable
    importableFqName: null
  typeParameters: []
  visibility: PUBLIC
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: SealedClassWithImplicitConstructor
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingJvmClassName: SealedClassWithImplicitConstructor
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  isInline: false
  importableFqName: null

KaKotlinPropertySymbol:
  anchorPsi: KtProperty
  annotations: []
  backingFieldSymbol: KaBackingFieldSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    isActual: false
    isCompanion: false
    isDelegated: false
    isExpect: false
    isExtension: false
    isExternal: false
    isNotDefault: false
    isVal: false
    location: PROPERTY
    modality: FINAL
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KaKotlinPropertySymbol(/SealedClassWithImplicitConstructor.privateVariable)
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Int
    typeParameters: []
    visibility: PRIVATE
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: SealedClassWithImplicitConstructor
    getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
    getContainingJvmClassName: SealedClassWithImplicitConstructor
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    importableFqName: null
  callableId: /SealedClassWithImplicitConstructor.privateVariable
  contextParameters: []
  contextReceivers: []
  getter: KaPropertyGetterSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    hasStableParameterNames: true
    isActual: false
    isCompanion: false
    isExpect: false
    isExtension: false
    isExternal: false
    isInline: false
    isNotDefault: false
    isOverride: false
    location: PROPERTY
    modality: FINAL
    origin: SOURCE
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Int
    typeParameters: []
    valueParameters: []
    visibility: PRIVATE
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: SealedClassWithImplicitConstructor
    getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
    getContainingJvmClassName: SealedClassWithImplicitConstructor
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: getPrivateVariable
    importableFqName: null
  hasBackingField: true
  hasGetter: true
  hasSetter: true
  initializer: KaConstantInitializerValue(1)
  isActual: false
  isCompanion: false
  isConst: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: false
  location: CLASS
  modality: FINAL
  name: privateVariable
  origin: SOURCE
  primaryConstructorParameter: null
  psi: KtProperty
  realPsi: KtProperty
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Int
  setter: KaPropertySetterSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    hasStableParameterNames: true
    isActual: false
    isCompanion: false
    isExpect: false
    isExtension: false
    isExternal: false
    isInline: false
    isNotDefault: false
    isOverride: false
    location: PROPERTY
    modality: FINAL
    origin: SOURCE
    parameter: KaValueParameterSymbol:
      anchorPsi: KtProperty
      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: value
      origin: SOURCE
      primaryConstructorProperty: null
      psi: null
      realPsi: null
      receiverParameter: null
      returnType: KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/Int
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
      getContainingJvmClassName: null
      getContainingModule: KaSourceModule "Sources of main"
      deprecation: null
      importableFqName: null
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Unit
    typeParameters: []
    valueParameters: [
      KaValueParameterSymbol:
        anchorPsi: KtProperty
        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: value
        origin: SOURCE
        primaryConstructorProperty: null
        psi: null
        realPsi: null
        receiverParameter: null
        returnType: KaUsualClassType:
          annotations: []
          typeArguments: []
          type: kotlin/Int
        typeParameters: []
        visibility: PUBLIC
        getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
        getContainingJvmClassName: null
        getContainingModule: KaSourceModule "Sources of main"
        deprecation: null
        importableFqName: null
    ]
    visibility: PRIVATE
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: SealedClassWithImplicitConstructor
    getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
    getContainingJvmClassName: SealedClassWithImplicitConstructor
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: setPrivateVariable
    importableFqName: null
  typeParameters: []
  visibility: PRIVATE
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: SealedClassWithImplicitConstructor
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingJvmClassName: SealedClassWithImplicitConstructor
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  isInline: false
  importableFqName: null

KaKotlinPropertySymbol:
  anchorPsi: KtProperty
  annotations: []
  backingFieldSymbol: KaBackingFieldSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    isActual: false
    isCompanion: false
    isDelegated: false
    isExpect: false
    isExtension: false
    isExternal: false
    isNotDefault: false
    isVal: false
    location: PROPERTY
    modality: FINAL
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KaKotlinPropertySymbol(/SealedClassWithImplicitConstructor.internalVariable)
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Int
    typeParameters: []
    visibility: PRIVATE
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: SealedClassWithImplicitConstructor
    getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
    getContainingJvmClassName: SealedClassWithImplicitConstructor
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    importableFqName: null
  callableId: /SealedClassWithImplicitConstructor.internalVariable
  contextParameters: []
  contextReceivers: []
  getter: KaPropertyGetterSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    hasStableParameterNames: true
    isActual: false
    isCompanion: false
    isExpect: false
    isExtension: false
    isExternal: false
    isInline: false
    isNotDefault: false
    isOverride: false
    location: PROPERTY
    modality: FINAL
    origin: SOURCE
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Int
    typeParameters: []
    valueParameters: []
    visibility: INTERNAL
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: SealedClassWithImplicitConstructor
    getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
    getContainingJvmClassName: SealedClassWithImplicitConstructor
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: getInternalVariable$main
    importableFqName: null
  hasBackingField: true
  hasGetter: true
  hasSetter: true
  initializer: KaConstantInitializerValue(1)
  isActual: false
  isCompanion: false
  isConst: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: false
  location: CLASS
  modality: FINAL
  name: internalVariable
  origin: SOURCE
  primaryConstructorParameter: null
  psi: KtProperty
  realPsi: KtProperty
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Int
  setter: KaPropertySetterSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    hasStableParameterNames: true
    isActual: false
    isCompanion: false
    isExpect: false
    isExtension: false
    isExternal: false
    isInline: false
    isNotDefault: false
    isOverride: false
    location: PROPERTY
    modality: FINAL
    origin: SOURCE
    parameter: KaValueParameterSymbol:
      anchorPsi: KtProperty
      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: value
      origin: SOURCE
      primaryConstructorProperty: null
      psi: null
      realPsi: null
      receiverParameter: null
      returnType: KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/Int
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
      getContainingJvmClassName: null
      getContainingModule: KaSourceModule "Sources of main"
      deprecation: null
      importableFqName: null
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Unit
    typeParameters: []
    valueParameters: [
      KaValueParameterSymbol:
        anchorPsi: KtProperty
        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: value
        origin: SOURCE
        primaryConstructorProperty: null
        psi: null
        realPsi: null
        receiverParameter: null
        returnType: KaUsualClassType:
          annotations: []
          typeArguments: []
          type: kotlin/Int
        typeParameters: []
        visibility: PUBLIC
        getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
        getContainingJvmClassName: null
        getContainingModule: KaSourceModule "Sources of main"
        deprecation: null
        importableFqName: null
    ]
    visibility: INTERNAL
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: SealedClassWithImplicitConstructor
    getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
    getContainingJvmClassName: SealedClassWithImplicitConstructor
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: setInternalVariable$main
    importableFqName: null
  typeParameters: []
  visibility: INTERNAL
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: SealedClassWithImplicitConstructor
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingJvmClassName: SealedClassWithImplicitConstructor
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  isInline: false
  importableFqName: null

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

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

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

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

KaNamedClassSymbol:
  anchorPsi: KtClass
  annotations: []
  classId: SealedClassWithImplicitConstructor.NestedAnnotation
  classKind: ANNOTATION_CLASS
  companionObject: null
  contextReceivers: []
  isActual: false
  isData: false
  isExpect: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  location: CLASS
  modality: FINAL
  name: NestedAnnotation
  origin: SOURCE
  psi: KtClass
  realPsi: KtClass
  superTypes: [
    KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Annotation
  ]
  typeParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingModule: KaSourceModule "Sources of main"
  applicableAnnotationTargets: [CLASS, ANNOTATION_CLASS, PROPERTY, FIELD, LOCAL_VARIABLE, VALUE_PARAMETER, CONSTRUCTOR, FUNCTION, PROPERTY_GETTER, PROPERTY_SETTER]
  deprecation: null
  importableFqName: SealedClassWithImplicitConstructor.NestedAnnotation

KaTypeAliasSymbol:
  anchorPsi: KtTypeAlias
  annotations: []
  classId: SealedClassWithImplicitConstructor.NestedTypeAlias
  expandedType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/String
  isActual: false
  isExpect: false
  isExternal: false
  location: CLASS
  modality: FINAL
  name: NestedTypeAlias
  origin: SOURCE
  psi: KtTypeAlias
  realPsi: KtTypeAlias
  typeParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  importableFqName: SealedClassWithImplicitConstructor.NestedTypeAlias

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

KaConstructorSymbol:
  anchorPsi: KtPrimaryConstructor
  annotations: []
  callableId: null
  containingClassId: SealedClassWithExplicitConstructor
  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: SealedClassWithExplicitConstructor
  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: constructorProperty
      origin: SOURCE
      primaryConstructorProperty: KaKotlinPropertySymbol(/SealedClassWithExplicitConstructor.constructorProperty)
      psi: KtParameter
      realPsi: KtParameter
      receiverParameter: null
      returnType: KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/Int
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
      getContainingJvmClassName: SealedClassWithExplicitConstructor
      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: constructorParameter
      origin: SOURCE
      primaryConstructorProperty: null
      psi: KtParameter
      realPsi: KtParameter
      receiverParameter: null
      returnType: KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/Long
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
      getContainingJvmClassName: SealedClassWithExplicitConstructor
      getContainingModule: KaSourceModule "Sources of main"
      deprecation: null
      importableFqName: null
  ]
  visibility: PROTECTED
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingJvmClassName: SealedClassWithExplicitConstructor
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  javaMethodName: null
  importableFqName: SealedClassWithExplicitConstructor

KaConstructorSymbol:
  anchorPsi: KtSecondaryConstructor
  annotations: []
  callableId: null
  containingClassId: SealedClassWithExplicitConstructor
  contextParameters: []
  contextReceivers: []
  hasStableParameterNames: true
  isActual: false
  isCompanion: false
  isExpect: false
  isExtension: false
  isExternal: false
  isPrimary: false
  location: CLASS
  modality: FINAL
  origin: SOURCE
  psi: KtSecondaryConstructor
  realPsi: KtSecondaryConstructor
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: SealedClassWithExplicitConstructor
  typeParameters: []
  valueParameters: []
  visibility: PROTECTED
  getContainingFileSymbol: KaFileSymbol(sealedClass.kt)
  getContainingJvmClassName: SealedClassWithExplicitConstructor
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  javaMethodName: null
  importableFqName: SealedClassWithExplicitConstructor

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