// REQUIRES: objc_interop
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -c -update-code -primary-file %s -F %S/mock-sdk -api-diff-data-file %S/Inputs/API.json -emit-migrated-file-path %t/property.swift.result -disable-migrator-fixits -o /dev/null
// RUN: diff -u %S/property.swift.expected %t/property.swift.result

import Bar

func foo(_ a : PropertyUserInterface) {
  a.field = 1
  a.url = 1
  _ = a.field
}

class C: PropertyUserInterface {
  public override var field: Int32 { return 1 }
  public override var field2: UnsafeMutablePointer<Int32>? { return nil }
}