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
|
// REQUIRES: objc_interop
// RUN: %empty-directory(%t.mod)
// RUN: %target-swift-frontend -emit-module -o %t.mod/Cities.swiftmodule %S/Inputs/Cities.swift -module-name Cities -parse-as-library
// RUN: %empty-directory(%t) && %target-swift-frontend -c -update-code -disable-migrator-fixits -primary-file %s -I %t.mod -api-diff-data-file %S/Inputs/API.json -emit-migrated-file-path %t/wrap_optional.swift.result -o /dev/null
// RUN: diff -u %S/wrap_optional.swift.expected %t/wrap_optional.swift.result
import Cities
class MyCities : Cities {
override init?(x: Int?) { super.init(x: x)! }
override init?(y: Int) { super.init(y: y) }
override func newMooloolaba(newX x: Cities?, newY y: Cities) {}
override func toowoomba(x: [Cities?], y: [Cities?]) {}
override func mareeba(x: [String? : Cities], y: [Int : Cities]) {}
override func maroochy(x: ((Int) -> Int)?, y: ((Int) -> Int)?) {}
}
class MySubCities : MyCities {}
class MySubSubCities : MySubCities {
override func yandina(x: [[Int : Cities]]?) {}
override func buderim() -> (Cities & ExtraCities)? { return nil }
override func noosa() -> [[Int : Cities]] { return [] }
}
typealias IntPair = (Int, Int)
extension ExtraCities {
func coolum(x: [String : [Int : [((([String])))]]]) {}
func currimundi(x: (Int, IntPair)?) {}
}
class MyExtraCities : ExtraCities {
func blibli(x: ((String, String) -> String?)?) {}
func currimundi(x: (Int, (Int?, Int))?) {}
}
typealias IntAnd<T> = (Int, T)
class Outer {
typealias Inner = (String?, String) -> String?
}
class MyExtraCitiesWithAliases : ExtraCities {
func blibli(x: Outer.Inner?) {}
func currimundi(x: (Int, IntAnd<Int>)?) {}
}
typealias OptString = String?
typealias OptGeneric<T> = T?
class MyExtraCitiesWithMoreAliases : ExtraCities {
func blibli(x: ((OptString, String) -> String?)?) {}
func currimundi(x: OptGeneric<(Int, (Int, Int))>) {}
}
|
