test/multifile/synthesized-accessors/two-modules-imported/Inputs/library.swift

import CoreGraphics

public protocol OtherPoint {
  associatedtype FloatType

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

extension CGPoint: OtherPoint {}