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
|
// RUN: %target-typecheck-verify-swift -swift-version 4
// https://github.com/apple/swift/issues/46040
// See test/Compatibility/enum_element_pattern.swift for Swift3 behavior.
// As for FIXME cases: see https://github.com/apple/swift/issues/46054
enum E {
case A, B, C, D
static func testE(e: E) {
switch e {
case A<UndefinedTy>(): // expected-error {{cannot specialize a non-generic definition}}
// expected-note@-1 {{while parsing this '<' as a type parameter bracket}}
break
case B<Int>(): // expected-error {{cannot specialize a non-generic definition}} expected-note {{while parsing this '<' as a type parameter bracket}}
break
default:
break;
}
}
}
func testE(e: E) {
switch e {
case E.A<UndefinedTy>(): // expected-error {{cannot specialize a non-generic definition}}
// expected-note@-1 {{while parsing this '<' as a type parameter bracket}}
break
case E.B<Int>(): // expected-error {{cannot specialize a non-generic definition}} expected-note {{while parsing this '<' as a type parameter bracket}}
break
case .C(): // expected-error {{pattern with associated values does not match enum case 'C'}}
// expected-note@-1 {{remove associated values to make the pattern match}} {{10-12=}}
break
case .D(let payload): // expected-error{{pattern with associated values does not match enum case 'D'}}
// expected-note@-1 {{remove associated values to make the pattern match}} {{10-23=}}
let _: () = payload
break
default:
break
}
guard
case .C() = e, // expected-error {{pattern with associated values does not match enum case 'C'}}
// expected-note@-1 {{remove associated values to make the pattern match}} {{12-14=}}
case .D(let payload) = e // expected-error {{pattern with associated values does not match enum case 'D'}}
// expected-note@-1 {{remove associated values to make the pattern match}} {{12-25=}}
else { return }
}
extension E : Error {}
func canThrow() throws {
throw E.A
}
do {
try canThrow()
} catch E.A() { // expected-error {{pattern with associated values does not match enum case 'A'}}
// expected-note@-1 {{remove associated values to make the pattern match}} {{12-14=}}
// ..
} catch E.B(let payload) { // expected-error {{pattern with associated values does not match enum case 'B'}}
// expected-note@-1 {{remove associated values to make the pattern match}} {{12-25=}}
let _: () = payload
}
|
