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
|
// RUN: %target-typecheck-verify-swift -verify-additional-prefix swift5-
// RUN: %target-typecheck-verify-swift -swift-version 6 -verify-additional-prefix swift6-
struct A<B> { // expected-note{{generic type 'A' declared here}}
init(x:Int) {}
static func c() {}
struct C<D> {
static func e() {}
}
struct F {}
}
struct B {}
struct D {}
protocol Runcible {}
protocol Fungible {}
func meta<T>(_ m: T.Type) {}
func meta2<T>(_ m: T.Type, _ x: Int) {}
func generic<T>(_ x: T) {} // expected-note {{'generic' declared here}}
var a, b, c, d : Int
_ = a < b
_ = (a < b, c > d)
// Parses as generic because of lparen after '>'
(a < b, c > (d)) // expected-error{{cannot find type 'b' in scope}}
// expected-note@-1 2 {{while parsing this '<' as a type parameter bracket}}
// expected-error@-2 {{cannot specialize non-generic type 'Int'}}
// expected-error@-3 {{cannot call value of non-function type 'Int'}}
// expected-error@-4 {{cannot find type 'c' in scope}}
// Parses as generic because of lparen after '>'
(a<b, c>(d)) // expected-error{{cannot find type 'b' in scope}}
// expected-note@-1 2 {{while parsing this '<' as a type parameter bracket}}
// expected-error@-2 {{cannot specialize non-generic type 'Int'}}
// expected-error@-3 {{cannot call value of non-function type 'Int'}}
// expected-error@-4 {{cannot find type 'c' in scope}}
_ = a>(b)
_ = a > (b)
generic<Int>(0)
// expected-swift5-warning@-1{{cannot explicitly specialize global function 'generic'}}
// expected-swift6-error@-2 {{cannot explicitly specialize global function 'generic'}}
A<B>.c()
A<A<B>>.c()
A<A<B>.F>.c()
A<(A<B>) -> B>.c()
A<[[Int]]>.c()
A<[[A<B>]]>.c()
A<(Int, UnicodeScalar)>.c()
A<(a:Int, b:UnicodeScalar)>.c()
A<Runcible & Fungible>.c()
A<@convention(c) () -> Int32>.c()
A<(@autoclosure @escaping () -> Int, Int) -> Void>.c()
_ = [@convention(block) () -> Int]().count
_ = [String: (@escaping (A<B>) -> Int) -> Void]().keys
A<B>(x: 0) // expected-warning{{unused}}
meta(A<B>.self)
meta2(A<B>.self, 0)
// FIXME: Nested generic types. Need to be able to express $T0<A, B, C> in the
// typechecker.
/*
A<B>.C<D>.e()
A<B>.C<D>(0)
meta(A<B>.C<D>.self)
meta2(A<B>.C<D>.self, 0)
*/
// TODO: parse empty <> list
//A<>.c() // e/xpected-error{{xxx}}
A<B, D>.c() // expected-error{{generic type 'A' specialized with too many type parameters (got 2, but expected 1)}}
A<B?>(x: 0) // parses as type // expected-warning{{unused}}
_ = a < b ? c : d
A<(B) throws -> D>(x: 0) // expected-warning{{unused}}
|
