// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -emit-ir -o - -primary-file %s -swift-version 4 | |
// REQUIRES: objc_interop | |
import Foundation | |
class SwiftLaundryService : NSLaundry { | |
var g: (Garment & Coat)? = nil | |
func wash(_ g: Garment & Coat) { | |
self.g = g | |
} | |
func bleach(_ g: Garment & Coat & Cotton) {} | |
func dry() -> Garment & Coat { | |
return g! | |
} | |
} | |
func doTheLaundry(_ service: NSLaundry, clothing: Garment & Coat) { | |
service.wash(clothing) | |
_ = service.dry() | |
} |