| // Try with and without whole module optimization |
| |
| // RUN: %target-build-swift %S/library.swift %S/main.swift |
| // RUN: %target-build-swift -whole-module-optimization %S/library.swift %S/main.swift |
| |
| // REQUIRES: executable_test |
| // REQUIRES: objc_interop |
| |
| import CoreGraphics |
| |
| // Case 1 - witness is imported accessor |
| |
| protocol MyPoint { |
| associatedtype FloatType |
| |
| var x: FloatType { get set } |
| var y: FloatType { get set } |
| } |
| |
| extension CGPoint: MyPoint {} |
| |
| // Case 2 - witness is extension method of imported type |
| |
| protocol MyProto { |
| var z: Float { get set } |
| } |
| |
| extension CGPoint : MyProto {} |
| |
| // Dummy statement |
| _ = () |
