// RUN: %target-swift-frontend -swift-version 5 -typecheck -dump-ast %s | %FileCheck  %s

struct Strukt {
  // CHECK: (struct_decl {{.*}} "Strukt"
  // CHECK: (var_decl {{.*}} "dynamicStorageOnlyVar" type='Int' interface type='Int' access=internal dynamic readImpl=stored writeImpl=stored readWriteImpl=stored
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=dynamicStorageOnlyVar
  // CHECK: (accessor_decl {{.*}} access=internal dynamic set_for=dynamicStorageOnlyVar
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=dynamicStorageOnlyVar
  dynamic var dynamicStorageOnlyVar : Int = 0

  // CHECK: (var_decl {{.*}} "computedVar" type='Int' interface type='Int' access=internal dynamic readImpl=getter immutable
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=computedVar
  dynamic var computedVar : Int {
    return 0
  }

  // CHECK: (var_decl {{.*}} "computedVar2" type='Int' interface type='Int' access=internal dynamic readImpl=getter immutable
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=computedVar2
  dynamic var computedVar2 : Int {
    get {
      return 0
    }
  }

  // CHECK: (var_decl {{.*}} "computedVarGetterSetter" type='Int' interface type='Int' access=internal dynamic readImpl=getter writeImpl=setter readWriteImpl=materialize_to_temporary
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=computedVarGetterSetter
  // CHECK: (accessor_decl {{.*}} access=internal dynamic set_for=computedVarGetterSetter
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=computedVarGetterSetter
  dynamic var computedVarGetterSetter : Int {
    get {
      return 0
    }
    set {
    }
  }

  // CHECK: (var_decl {{.*}} "computedVarGetterModify" type='Int' interface type='Int' access=internal dynamic readImpl=getter writeImpl=modify_coroutine readWriteImpl=modify_coroutine
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=computedVarGetterModify
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _modify_for=computedVarGetterModify
  // CHECK: (accessor_decl {{.*}} access=internal set_for=computedVarGetterModify
  dynamic var computedVarGetterModify : Int {
    get {
      return 0
    }
    _modify {
    }
  }

  // CHECK: (var_decl {{.*}} "computedVarReadSet" type='Int' interface type='Int' access=internal dynamic readImpl=read_coroutine writeImpl=setter readWriteImpl=materialize_to_temporary
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _read_for=computedVarReadSet
  // CHECK: (accessor_decl {{.*}} access=internal dynamic set_for=computedVarReadSet
  // CHECK: (accessor_decl {{.*}} access=internal get_for=computedVarReadSet
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=computedVarReadSet
  dynamic var computedVarReadSet : Int {
    _read {
    }
    set {
    }
  }

  // CHECK: (var_decl {{.*}} "computedVarReadModify" type='Int' interface type='Int' access=internal dynamic readImpl=read_coroutine writeImpl=modify_coroutine readWriteImpl=modify_coroutine
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _read_for=computedVarReadModify
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _modify_for=computedVarReadModify
  // CHECK: (accessor_decl {{.*}} access=internal get_for=computedVarReadModify
  // CHECK: (accessor_decl {{.*}} access=internal set_for=computedVarReadModify
  dynamic var computedVarReadModify : Int {
    _read {
    }
    _modify {
    }
  }

  // CHECK: (var_decl {{.*}} "storedWithObserver" type='Int' interface type='Int' access=internal dynamic readImpl=stored writeImpl=stored_with_observers readWriteImpl=materialize_to_temporary
  // CHECK: (accessor_decl {{.*}}access=private dynamic didSet_for=storedWithObserver
  // CHECK: (accessor_decl {{.*}}access=internal dynamic get_for=storedWithObserver
  // CHECK: (accessor_decl {{.*}}access=internal set_for=storedWithObserver
  // CHECK: (accessor_decl {{.*}}access=internal _modify_for=storedWithObserver
  dynamic var storedWithObserver : Int {
    didSet {
    }
  }

  // CHECK: (func_decl {{.*}} access=internal dynamic
  dynamic func aMethod(arg: Int) -> Int {
    return arg
  }

  // CHECK: (subscript_decl {{.*}} "subscript(_:)" {{.*}} access=internal dynamic readImpl=getter writeImpl=setter readWriteImpl=materialize_to_temporary
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal dynamic set_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=subscript(_:)
  dynamic subscript(_ index: Int) -> Int {
    get {
      return 1
    }
    set {
    }
  }

  // CHECK: (subscript_decl {{.*}} "subscript(_:)" {{.*}} access=internal dynamic readImpl=getter writeImpl=modify_coroutine readWriteImpl=modify_coroutine
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _modify_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal set_for=subscript(_:)
  dynamic subscript(_ index: Float) -> Int {
    get {
      return 1
    }
    _modify {
    }
  }

  // CHECK: (subscript_decl {{.*}} "subscript(_:)" {{.*}} access=internal dynamic readImpl=read_coroutine writeImpl=modify_coroutine readWriteImpl=modify_coroutine
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _read_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _modify_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal get_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal set_for=subscript(_:)
  dynamic subscript(_ index: Double) -> Int {
    _read {
    }
    _modify {
    }
  }

  // CHECK: (subscript_decl {{.*}} "subscript(_:)" {{.*}} access=internal dynamic readImpl=read_coroutine writeImpl=setter readWriteImpl=materialize_to_temporary
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _read_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal dynamic set_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal get_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=subscript(_:)
  dynamic subscript(_ index: Strukt) -> Int {
    _read {
    }
    set {
    }
  }
}

class Klass {
  // CHECK: (class_decl {{.*}} "Klass"
  // CHECK: (var_decl {{.*}} "dynamicStorageOnlyVar" type='Int' interface type='Int' access=internal dynamic readImpl=stored writeImpl=stored readWriteImpl=stored
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=dynamicStorageOnlyVar
  // CHECK: (accessor_decl {{.*}} access=internal dynamic set_for=dynamicStorageOnlyVar
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=dynamicStorageOnlyVar
  dynamic var dynamicStorageOnlyVar : Int = 0

  // CHECK: (var_decl {{.*}} "computedVar" type='Int' interface type='Int' access=internal dynamic readImpl=getter immutable
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=computedVar
  dynamic var computedVar : Int {
    return 0
  }

  // CHECK: (var_decl {{.*}} "computedVar2" type='Int' interface type='Int' access=internal dynamic readImpl=getter immutable
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=computedVar2
  dynamic var computedVar2 : Int {
    get {
      return 0
    }
  }

  // CHECK: (var_decl {{.*}} "computedVarGetterSetter" type='Int' interface type='Int' access=internal dynamic readImpl=getter writeImpl=setter readWriteImpl=materialize_to_temporary
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=computedVarGetterSetter
  // CHECK: (accessor_decl {{.*}} access=internal dynamic set_for=computedVarGetterSetter
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=computedVarGetterSetter
  dynamic var computedVarGetterSetter : Int {
    get {
      return 0
    }
    set {
    }
  }

  // CHECK: (var_decl {{.*}} "computedVarGetterModify" type='Int' interface type='Int' access=internal dynamic readImpl=getter writeImpl=modify_coroutine readWriteImpl=modify_coroutine
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=computedVarGetterModify
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _modify_for=computedVarGetterModify
  // CHECK: (accessor_decl {{.*}} access=internal set_for=computedVarGetterModify
  dynamic var computedVarGetterModify : Int {
    get {
      return 0
    }
    _modify {
    }
  }

  // CHECK: (var_decl {{.*}} "computedVarReadSet" type='Int' interface type='Int' access=internal dynamic readImpl=read_coroutine writeImpl=setter readWriteImpl=materialize_to_temporary
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _read_for=computedVarReadSet
  // CHECK: (accessor_decl {{.*}} access=internal dynamic set_for=computedVarReadSet
  // CHECK: (accessor_decl {{.*}} access=internal get_for=computedVarReadSet
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=computedVarReadSet
  dynamic var computedVarReadSet : Int {
    _read {
    }
    set {
    }
  }

  // CHECK: (var_decl {{.*}} "computedVarReadModify" type='Int' interface type='Int' access=internal dynamic readImpl=read_coroutine writeImpl=modify_coroutine readWriteImpl=modify_coroutine
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _read_for=computedVarReadModify
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _modify_for=computedVarReadModify
  // CHECK: (accessor_decl {{.*}} access=internal get_for=computedVarReadModify
  // CHECK: (accessor_decl {{.*}} access=internal set_for=computedVarReadModify
  dynamic var computedVarReadModify : Int {
    _read {
    }
    _modify {
    }
  }
  // CHECK: (func_decl {{.*}} "aMethod(arg:)" {{.*}} access=internal dynamic
  dynamic func aMethod(arg: Int) -> Int {
    return arg
  }

  // CHECK-NOT: (func_decl {{.*}} "anotherMethod()" {{.*}} access=internal{{.*}} dynamic
  func anotherMethod() -> Int {
    return 3
  }

  // CHECK: (subscript_decl {{.*}} "subscript(_:)" {{.*}} access=internal dynamic readImpl=addressor writeImpl=mutable_addressor readWriteImpl=mutable_addressor
  // CHECK: (accessor_decl {{.*}} access=internal dynamic unsafeAddress_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal dynamic unsafeMutableAddress_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal get_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal set_for=subscript(_:)
  dynamic subscript(_ index: Int) -> Int {
    unsafeAddress {
      fatalError()
    }
    unsafeMutableAddress {
      fatalError()
    }
  }

  // CHECK: (subscript_decl {{.*}} "subscript(_:)" {{.*}} access=internal dynamic readImpl=getter writeImpl=mutable_addressor readWriteImpl=mutable_addressor
  // CHECK: (accessor_decl {{.*}} access=internal dynamic get_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal dynamic unsafeMutableAddress_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal set_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=subscript(_:)
  dynamic subscript(_ index: Float) -> Int {
    get {
      return 1
    }
    unsafeMutableAddress {
      fatalError()
    }
  }

  // CHECK: (subscript_decl {{.*}} "subscript(_:)" {{.*}} access=internal dynamic readImpl=read_coroutine writeImpl=mutable_addressor readWriteImpl=mutable_addressor
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _read_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal dynamic unsafeMutableAddress_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal get_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal set_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=subscript(_:)
  dynamic subscript(_ index: Double) -> Int {
    _read {
    }
    unsafeMutableAddress {
      fatalError()
    }
  }

  // CHECK: (subscript_decl {{.*}} "subscript(_:)" {{.*}} access=internal dynamic readImpl=addressor writeImpl=setter readWriteImpl=materialize_to_temporary
  // CHECK: (accessor_decl {{.*}} access=internal dynamic unsafeAddress_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal dynamic set_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal get_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal _modify_for=subscript(_:)
  dynamic subscript(_ index: Int8) -> Int {
    unsafeAddress {
      fatalError()
    }
    set {
    }
  }

  // CHECK: (subscript_decl {{.*}} "subscript(_:)" {{.*}} access=internal dynamic readImpl=addressor writeImpl=modify_coroutine readWriteImpl=modify_coroutine
  // CHECK: (accessor_decl {{.*}} access=internal dynamic unsafeAddress_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal dynamic _modify_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal get_for=subscript(_:)
  // CHECK: (accessor_decl {{.*}} access=internal set_for=subscript(_:)
  dynamic subscript(_ index: Int16) -> Int {
    unsafeAddress {
      fatalError()
    }
    _modify {
    }
  }
}

class SubKlass : Klass {

  // CHECK: (class_decl {{.*}} "SubKlass"
  // CHECK: (func_decl {{.*}} "aMethod(arg:)" interface type='(SubKlass) -> (Int) -> Int' access=internal {{.*}} dynamic
  override dynamic func aMethod(arg: Int) -> Int {
   return 23
  }

  // CHECK: (func_decl {{.*}} "anotherMethod()" interface type='(SubKlass) -> () -> Int' access=internal {{.*}} dynamic
  override dynamic func anotherMethod() -> Int {
   return 23
  }
}