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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
// RUN: %target-typecheck-verify-swift
public typealias A = UInt32
public protocol P1: Numeric, Strideable, CustomStringConvertible
where Magnitude == B.Magnitude,
IntegerLiteralType == B.Magnitude,
Stride == B.Stride {
associatedtype B: BinaryInteger
init(_ b: B)
init(integerLiteral value: B)
var rawIndex: B { get set }
var magnitude: B.Magnitude { get }
}
public extension P1 {
init(integerLiteral value: B) {
self.init(value)
}
init<T>(_ value: T) where T: BinaryInteger {
self.init(B(value))
}
init?<T>(exactly source: T) where T: BinaryInteger {
if let index = B(exactly: source) {
self.init(index)
} else {
return nil
}
}
var magnitude: Self.Magnitude {
rawIndex.magnitude
}
var description: String {
rawIndex.description
}
func distance(to other: Self) -> Stride {
rawIndex.distance(to: other.rawIndex)
}
func advanced(by n: Stride) -> Self {
Self(rawIndex.advanced(by: n))
}
static func == (lhs: Self, rhs: Self) -> Bool {
lhs.rawIndex == rhs.rawIndex
}
static func == <B: BinaryInteger>(lhs: Self, rhs: B) -> Bool {
lhs.rawIndex == rhs
}
static func == <B: BinaryInteger>(lhs: B, rhs: Self) -> Bool {
lhs == rhs.rawIndex
}
static func < (lhs: Self, rhs: Self) -> Bool {
lhs.rawIndex < rhs.rawIndex
}
static func + (lhs: Self, rhs: Self) -> Self {
Self(lhs.rawIndex + rhs.rawIndex)
}
static func - (lhs: Self, rhs: Self) -> Self {
Self(lhs.rawIndex - rhs.rawIndex)
}
static func * (lhs: Self, rhs: Self) -> Self {
Self(lhs.rawIndex * rhs.rawIndex)
}
static func *= (lhs: inout Self, rhs: Self) {
lhs.rawIndex *= rhs.rawIndex
}
}
public protocol P2: P1 where B == A {
init(b: B)
var b: B { get set }
}
public extension P2 {
init(_ b: B) {
self.init(b: b)
}
var rawIndex: A {
get {
b
}
set(newIndex) {
b = newIndex
}
}
}
struct S {
var b: A
}
extension S: P2 {}
|
