test/multifile/synthesized-accessors/one-module-imported/library.swift

// RUN: true

import CoreGraphics

protocol OtherPoint {
  associatedtype FloatType

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

extension CGPoint: OtherPoint {}