CLASS:
  KaNamedClassSymbol:
  anchorPsi: PsiClassImpl
  annotations: []
  classId: JavaRunnable
  classKind: INTERFACE
  companionObject: null
  contextReceivers: []
  isActual: false
  isData: false
  isExpect: false
  isExternal: false
  isFun: true
  isInline: false
  isInner: false
  location: TOP_LEVEL
  modality: ABSTRACT
  name: JavaRunnable
  origin: JAVA_SOURCE
  psi: PsiClassImpl
  realPsi: PsiClassImpl
  superTypes: [
    KaUsualClassType:
      abbreviation: null
      annotations: []
      classId: kotlin/Any
      qualifiers: [
        KaResolvedClassTypeQualifier:
          name: Any
          symbol: KaNamedClassSymbol(kotlin/Any)
          typeArguments: []
      ]
      symbol: KaNamedClassSymbol(kotlin/Any)
      typeArguments: []
      isMarkedNullable: false
      isNullable: false
      hasFlexibleNullability: false
  ]
  typeParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: null
  getContainingModule: KaSourceModule "Sources of main"
  applicableAnnotationTargets: null
  deprecation: null
  importableFqName: JavaRunnable

FUNCTIONAL INTERFACE FUNCTION:
  KaNamedFunctionSymbol:
  anchorPsi: PsiMethodImpl
  annotations: []
  callableId: /JavaRunnable.run
  contextParameters: []
  contextReceivers: []
  contractEffects: []
  hasStableParameterNames: false
  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: run
  origin: JAVA_SOURCE
  psi: PsiMethodImpl
  realPsi: null
  receiverParameter: null
  returnType: KaUsualClassType:
    abbreviation: null
    annotations: []
    classId: kotlin/Unit
    qualifiers: [
      KaResolvedClassTypeQualifier:
        name: Unit
        symbol: KaNamedClassSymbol(kotlin/Unit)
        typeArguments: []
    ]
    symbol: KaNamedClassSymbol(kotlin/Unit)
    typeArguments: []
    isMarkedNullable: false
    isNullable: false
    hasFlexibleNullability: false
  typeParameters: []
  valueParameters: []
  visibility: PUBLIC
  getDispatchReceiver(): KaUsualClassType:
    abbreviation: null
    annotations: []
    classId: JavaRunnable
    qualifiers: [
      KaResolvedClassTypeQualifier:
        name: JavaRunnable
        symbol: KaNamedClassSymbol(JavaRunnable)
        typeArguments: []
    ]
    symbol: KaNamedClassSymbol(JavaRunnable)
    typeArguments: []
    isMarkedNullable: false
    isNullable: false
    hasFlexibleNullability: false
  getContainingFileSymbol: null
  getContainingJvmClassName: JavaRunnable
  canBeOperator: false
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  returnValueStatus: Unspecified
  javaMethodName: run
  importableFqName: null
