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
|
// RUN: %target-swift-frontend \
// RUN: -enable-experimental-feature NonescapableTypes \
// RUN: -verify -typecheck %s -debug-generic-signatures \
// RUN: -debug-inverse-requirements 2>&1 | %FileCheck %s --implicit-check-not "error:"
// CHECK-LABEL: .Outer@
// CHECK: Generic signature: <A where A : Escapable>
// CHECK-LABEL: .Outer.innerFn@
// CHECK: Generic signature: <A, B where A : Escapable, B : Escapable>
// CHECK-LABEL: .Outer.InnerStruct@
// CHECK: Generic signature: <A, C where A : Escapable, C : Escapable>
// CHECK-LABEL: .Outer.InnerStruct.g@
// CHECK: Generic signature: <A, C, D where A : Escapable, C : Escapable, D : Escapable>
// CHECK-LABEL: .Outer.InnerStruct.init()@
// CHECK: Generic signature: <A, C where A : Escapable, C : Escapable>
// CHECK: (builtin_conformance type="Outer<A>.InnerStruct<C>" protocol="Escapable")
// CHECK-LABEL: .Outer.InnerVariation1@
// CHECK: Generic signature: <A, D where A : Escapable, D : Escapable>
// CHECK-LABEL: .Outer.InnerVariation2@
// CHECK: Generic signature: <A, D where A : Escapable, D : Copyable>
// CHECK-LABEL: ExtensionDecl {{.*}} base=Outer.InnerStruct
// CHECK: Generic signature: <A, C where A : Copyable, A : Escapable, C : Copyable, C : Escapable>
// CHECK-LABEL: .InnerStruct extension.hello@
// CHECK: Generic signature: <A, C, T where A : Copyable, A : Escapable, C : Copyable, C : Escapable, T : Copyable>
// CHECK-LABEL: .Freestanding@
// CHECK: Generic signature: <T>
// CHECK-LABEL: ExtensionDecl {{.*}} base=Outer
// CHECK: Generic signature: <A where A : Copyable, A : Escapable>
// CHECK-LABEL: ExtensionDecl {{.*}} base=Outer.InnerVariation1
// CHECK: Generic signature: <A, D where A : Escapable, D : Copyable, D : Escapable>
// CHECK-LABEL: ExtensionDecl {{.*}} base=Outer.InnerVariation2
// CHECK: Generic signature: <A, D where A : Escapable, D : Copyable>
public struct Outer<A: ~Copyable> {
public func innerFn<B: ~Copyable>(_ b: borrowing B) {}
public struct InnerStruct<C: ~Copyable> {
public func g<D>(_ d: borrowing D) where D: ~Copyable {}
}
public struct InnerVariation1<D: ~Copyable>: ~Escapable {}
public struct InnerVariation2<D: ~Escapable>: ~Copyable {}
}
extension Outer.InnerStruct {
public func hello<T: ~Escapable>(_ t: T) {}
}
public struct Freestanding<T: ~Copyable> where T: ~Escapable {}
extension Outer {}
extension Outer.InnerVariation1 where A: ~Copyable {}
extension Outer.InnerVariation2 where D: ~Escapable, A: ~Copyable {}
|
