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
|
public protocol Fooable {
func foo<T>(_ x: T)
}
public class FooClass : Fooable {
public init() { }
public func foo<U>(_ x: U) {}
}
public struct FooStruct : Fooable {
public func foo<V>(_ x: V) {}
public init() {}
}
public protocol Barrable {
func bar<T>(_ x: Self, y: T)
}
public class BarClass : Barrable {
public init() { }
public func bar<U>(_ x: BarClass, y: U) { }
}
public struct BarStruct : Barrable {
public var x = 0
public func bar<V>(_ x: BarStruct, y: V) { }
public init() {}
}
public protocol HasAssociatedType {
associatedtype Foo : Fooable
}
public protocol Bassable {
func bas<T : HasAssociatedType>(_ x: T, y: T.Foo)
}
public class BasClass : Bassable {
public init() { }
public func bas<U : HasAssociatedType>(_ x: U, y: U.Foo) {}
}
public struct BasStruct : Bassable {
public func bas<V : HasAssociatedType>(_ x: V, y: V.Foo) {}
public init() {}
}
prefix operator ~~~
public protocol _CyclicAssociated {
associatedtype Assoc = CyclicImpl
}
public protocol CyclicAssociated : _CyclicAssociated {
static prefix func ~~~(_: Self.Type)
}
prefix public func ~~~ <T: _CyclicAssociated>(_: T.Type) {}
public struct CyclicImpl : CyclicAssociated {
public typealias Assoc = CyclicImpl
public init() {}
}
|
