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
|
// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s
// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures -disable-requirement-machine-concrete-contraction 2>&1 | %FileCheck %s
struct MyOptionSet : OptionSet {
let rawValue: UInt
}
struct G1<T : OptionSet> where T.RawValue: FixedWidthInteger & UnsignedInteger {}
// CHECK-LABEL: ExtensionDecl line={{[0-9]+}} base=G1
// CHECK-NEXT: Generic signature: <T where T == MyOptionSet>
extension G1 where T == MyOptionSet {}
struct G2<T : SIMD> {}
// CHECK-LABEL: ExtensionDecl line={{[0-9]+}} base=G2
// CHECK-NEXT: Generic signature: <T where T == SIMD2<Double>>
extension G2 where T == SIMD2<Double> {}
struct G3<T: SIMD> where T.Scalar: FixedWidthInteger & SignedInteger {}
// CHECK-LABEL: ExtensionDecl line={{[0-9]+}} base=G3
// CHECK-NEXT: Generic signature: <T where T == SIMD2<Int8>>
extension G3 where T == SIMD2<Int8> {}
struct G4<T : StringProtocol> {}
// CHECK-LABEL: ExtensionDecl line={{[0-9]+}} base=G4
// CHECK-NEXT: Generic signature: <T where T == String>
extension G4 where T == String {}
// CHECK-LABEL: ExtensionDecl line={{[0-9]+}} base=G4
// CHECK-NEXT: Generic signature: <T where T == Substring>
extension G4 where T == Substring {}
|
