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
|
// RUN: %target-typecheck-verify-swift
extension Array<Int> {
func someIntFuncOnArray() {}
}
let _ = [0, 1, 2].someIntFuncOnArray()
extension [Character] {
func makeString() -> String { fatalError() }
}
let _ = ["a", "b", "c"].makeString()
let _ = [1, 2, 3].makeString() // expected-error 3 {{cannot convert value of type 'Int' to expected element type 'Character'}}
extension Set<_> {} // expected-error {{cannot extend a type that contains placeholders}}
// https://github.com/apple/swift/issues/47452
struct Foo<T, U> {
var x: T
var y: U
}
typealias IntFoo<U> = Foo<Int, U>
extension IntFoo where U == Int {
func hello() {
print("hello")
}
}
Foo(x: "test", y: 1).hello()
struct MyType<TyA, TyB> {
var a : TyA, b : TyB
}
typealias A<T1, T2> = MyType<T2, T1>
extension A {}
extension A<Float, Int> {}
extension A<Void, Void> {}
struct Tree<T> {
struct Branch<B> {
struct Nest<N> {
struct Egg {}
}
}
}
extension Tree.Branch.Nest.Egg { static func tweet() {} }
extension Tree<Int>.Branch.Nest.Egg { static func twoot() {} }
extension Tree<Int>.Branch<String>.Nest.Egg { static func twote() {} }
extension Tree<Int>.Branch<String>.Nest<Void>.Egg { static func twite() {} }
func testNestedExtensions() {
do {
Tree<Void>.Branch<Void>.Nest<Void>.Egg.tweet()
}
do {
Tree<Int>.Branch<Void>.Nest<Void>.Egg.twoot()
Tree<Int>.Branch<Int>.Nest<Void>.Egg.twoot()
Tree<Int>.Branch<Int>.Nest<Int>.Egg.twoot()
}
do {
Tree<Int>.Branch<String>.Nest<Void>.Egg.twote()
Tree<Int>.Branch<String>.Nest<Float>.Egg.twote()
}
Tree<Int>.Branch<String>.Nest<Void>.Egg.twite()
}
// rdar://111059036 - failed to produce a diagnostic in specialized extension
struct Test {
struct Key<Value> {}
}
class State {
}
extension Test.Key<State> {
static let state = Self<State>()
}
|
