1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-emit-module-interface(%t/CoreVegetable.swiftinterface) %S/Inputs/CoreVegetable.swift -disable-availability-checking
// RUN: %target-swift-typecheck-module-from-interface(%t/CoreVegetable.swiftinterface)
// RUN: %target-swift-emit-module-interface(%t/CoreChef.swiftinterface) %s -module-name CoreChef -I %t -disable-availability-checking -DLIB
// RUN: %target-swift-typecheck-module-from-interface(%t/CoreChef.swiftinterface) -module-name CoreChef -I %t -disable-availability-checking
// Also build the module itself with -g to exercise debug info round tripping.
// RUN: %target-swift-frontend -emit-ir -g %s -I %t -disable-availability-checking
// RUN: %FileCheck %s < %t/CoreChef.swiftinterface
// REQUIRES: OS=macosx
import CoreVegetable
public protocol Soup {}
public struct VegetableSoup : Soup {}
public protocol Chef {
associatedtype Food
func cookSoup(_: Vegetable) -> Food
}
public struct SoupChef : Chef {
public func cookSoup(_: Vegetable) -> some Soup { VegetableSoup() }
}
// CHECK-LABEL: public typealias Food = @_opaqueReturnTypeOf("$s8CoreChef04SoupB0V04cookC0yQr0aC09VegetableVF", 0) __
|
