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
|
// RUN: %target-swift-remoteast-test %s | %FileCheck %s
// REQUIRES: swift-remoteast-test
@_silgen_name("printMetadataType")
func printType(_: Any.Type)
@_silgen_name("stopRemoteAST")
func stopRemoteAST()
typealias Fn1 = () -> ()
printType(Fn1.self)
// CHECK: found type: () -> ()
typealias Fn2 = (Int, Float) -> ()
printType(Fn2.self)
// CHECK: found type: (Int, Float) -> ()
typealias Fn3 = (inout Int, Float) -> ()
printType(Fn3.self)
// CHECK: found type: (inout Int, Float) -> ()
typealias Fn4 = (inout Int, inout Float) -> ()
printType(Fn4.self)
// CHECK: found type: (inout Int, inout Float) -> ()
typealias Fn5 = (Int, inout Float) -> ()
printType(Fn5.self)
// CHECK: found type: (Int, inout Float) -> ()
typealias Fn6 = (Int, inout String, Float) -> ()
printType(Fn6.self)
// CHECK: found type: (Int, inout String, Float) -> ()
typealias Fn7 = (inout Int, String, inout Float, Double) -> ()
printType(Fn7.self)
// CHECK: found type: (inout Int, String, inout Float, Double) -> ()
typealias Fn8 = (String, Int, Double, Float) -> ()
printType(Fn8.self)
// CHECK: found type: (String, Int, Double, Float) -> ()
typealias Fn9 = ((Int, Float)) -> ()
printType(Fn9.self)
// CHECK: found type: ((Int, Float)) -> ()
typealias Fn10 = (Int...) -> ()
printType(Fn10.self)
// CHECK: found type: (Int...) -> ()
typealias Tuple1 = (Int, Float, Int)
printType(Tuple1.self)
// CHECK: found type: (Int, Float, Int)
printType(Int.Type.self)
// CHECK: found type: Int.Type
printType(Tuple1.Type.self)
// CHECK: found type: (Int, Float, Int).Type
typealias Tuple2 = (Int.Type, x: Float, Int)
printType(Tuple2.self)
// CHECK: found type: (Int.Type, x: Float, Int)
typealias Tuple3 = (x: Int, Float, y: Int.Type)
printType(Tuple3.self)
// CHECK: found type: (x: Int, Float, y: Int.Type)
func foo<T>(_: T) {
var f = T.self
printType(f)
}
foo() { (x: Int) -> Int in return x }
// CHECK: found type: (Int) -> Int
stopRemoteAST()
|
