KaValueParameterSymbol:
  anchorPsi: KtParameter
  annotations: [
    Param()
      psi: KtAnnotationEntry
    ParameterPropertyAndField()
      psi: KtAnnotationEntry
    Everything()
      psi: KtAnnotationEntry
  ]
  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: prop
  origin: SOURCE
  primaryConstructorProperty: KaKotlinPropertySymbol(/MyClass.prop)
  psi: KtParameter
  realPsi: KtParameter
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Int
  typeParameters: []
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(annotationConstructorProperty_param_property.kt)
  getContainingJvmClassName: MyClass
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  importableFqName: null

KaKotlinPropertySymbol:
  anchorPsi: KtParameter
  annotations: [
    Property()
      psi: KtAnnotationEntry
    PropertyAndField()
      psi: KtAnnotationEntry
    ParameterPropertyAndField()
      psi: KtAnnotationEntry
    Everything()
      psi: KtAnnotationEntry
  ]
  backingFieldSymbol: KaBackingFieldSymbol:
    anchorPsi: KtParameter
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    isActual: false
    isCompanion: false
    isDelegated: false
    isExpect: false
    isExtension: false
    isExternal: false
    isNotDefault: false
    isVal: true
    location: PROPERTY
    modality: FINAL
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KaKotlinPropertySymbol(/MyClass.prop)
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Int
    typeParameters: []
    visibility: PRIVATE
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: MyClass
    getContainingFileSymbol: KaFileSymbol(annotationConstructorProperty_param_property.kt)
    getContainingJvmClassName: MyClass
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    importableFqName: null
  callableId: /MyClass.prop
  contextParameters: []
  contextReceivers: []
  getter: KaPropertyGetterSymbol:
    anchorPsi: KtParameter
    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: MyClass
    getContainingFileSymbol: KaFileSymbol(annotationConstructorProperty_param_property.kt)
    getContainingJvmClassName: MyClass
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: prop
    importableFqName: null
  hasBackingField: true
  hasGetter: true
  hasSetter: false
  initializer: KaNonConstantInitializerValue(@Param ...)
  isActual: false
  isCompanion: false
  isConst: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: true
  location: CLASS
  modality: FINAL
  name: prop
  origin: SOURCE
  primaryConstructorParameter: KaValueParameterSymbol:
    anchorPsi: KtParameter
    annotations: [
      Param()
        psi: KtAnnotationEntry
      ParameterPropertyAndField()
        psi: KtAnnotationEntry
      Everything()
        psi: KtAnnotationEntry
    ]
    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: prop
    origin: SOURCE
    primaryConstructorProperty: KaKotlinPropertySymbol(/MyClass.prop)
    psi: KtParameter
    realPsi: KtParameter
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Int
    typeParameters: []
    visibility: PUBLIC
    getContainingFileSymbol: KaFileSymbol(annotationConstructorProperty_param_property.kt)
    getContainingJvmClassName: MyClass
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    importableFqName: null
  psi: KtParameter
  realPsi: null
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Int
  setter: null
  typeParameters: []
  visibility: PUBLIC
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: MyClass
  getContainingFileSymbol: KaFileSymbol(annotationConstructorProperty_param_property.kt)
  getContainingJvmClassName: MyClass
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  isInline: false
  importableFqName: null
