// RUN: true

import CoreGraphics

// Case 1 - witness is imported accessor

protocol OtherPoint {
  associatedtype FloatType

  var x: FloatType { get set }
  var y: FloatType { get set }
}

extension CGPoint: OtherPoint {}

// Case 2 - witness is extension method of imported type

extension CGPoint {
  var z: Float {
    get { return 0.0 }
    set { }
  }
}