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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name main
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name main
// RUN: %FileCheck %s < %t.swiftinterface
// Verify that `any` is not required in swiftinterfaces.
// RUN: %target-swift-typecheck-module-from-interface(%S/Inputs/existential-any-ignore-missing-in-interface.swiftinterface) -module-name ExistentialAnyMissing
// CHECK: public protocol P
public protocol P { }
// CHECK: public protocol Q
public protocol Q {
// CHECK: associatedtype A : main.P
associatedtype A: P
}
// CHECK: public func takesAndReturnsP(_ x: any main.P) -> any main.P
public func takesAndReturnsP(_ x: P) -> P {
return x
}
// CHECK: public func takesAndReturnsOptionalP(_ x: (any main.P)?) -> (any main.P)?
public func takesAndReturnsOptionalP(_ x: P?) -> P? {
return x
}
// CHECK: public func takesAndReturnsQ(_ x: any main.Q) -> any main.Q
public func takesAndReturnsQ(_ x: any Q) -> any Q {
return x
}
// CHECK: public struct S
public struct S {
// CHECK: public var p: any main.P
public var p: P
// CHECK: public var maybeP: (any main.P)?
public var maybeP: P?
// CHECK: public var q: any main.Q
public var q: any Q
}
public protocol ProtocolTypealias {
typealias A = P
}
// CHECK: public func dependentExistential<T>(value: (T) -> any main.P) where T : main.ProtocolTypealias
public func dependentExistential<T: ProtocolTypealias>(value: (T) -> T.A) {}
public protocol Yescopyable {}
public protocol Noncopyable: ~Copyable {}
// CHECK: public func existentialMetatype1(_: any (main.Noncopyable & ~Copyable).Type)
// CHECK: public func existentialMetatype2(_: any (main.Noncopyable & main.Yescopyable).Type)
// CHECK: public func existentialMetatype3(_: any ~Copyable.Type)
public func existentialMetatype1(_: any (Noncopyable & ~Copyable).Type) {}
public func existentialMetatype2(_: any (Yescopyable & Noncopyable).Type) {}
public func existentialMetatype3(_: any ~Copyable.Type) {}
// CHECK: public func metatypeExistential1(_: (any main.Noncopyable & ~Copyable).Type)
// CHECK: public func metatypeExistential2(_: (any main.Noncopyable & main.Yescopyable).Type)
// CHECK: public func metatypeExistential3(_: (any ~Copyable).Type)
public func metatypeExistential1(_: (any Noncopyable & ~Copyable).Type) {}
public func metatypeExistential2(_: (any Yescopyable & Noncopyable).Type) {}
public func metatypeExistential3(_: (any ~Copyable).Type) {}
|
