swift/test/Parse/enum_element_pattern_swift4.swift at main · swiftlang/swift · GitHub

Name: swift/test/Parse/enum_element_pattern_swift4.swift at main · swiftlang/swift · GitHub
Rating: 4.8 (5930 reviews)
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
// 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

enumE{
case A, B, C, D

staticfunc testE(e:E){
switch e {
caseA<UndefinedTy>(): // expected-error {{cannot find type 'UndefinedTy' in scope}}
 // expected-note@-1 {{while parsing this '<' as a type parameter bracket}}
 // expected-error@-2 {{cannot specialize non-generic type 'E'}}
 // expected-error@-3 {{enum case 'A' has no associated values}}
break
caseB<Int>(): // expected-error {{cannot specialize non-generic type 'E'}}
 // expected-error@-1 {{enum case 'B' has no associated values}}
break
default:
break;
}
}
}

func testE(e:E){
switch e {
caseE.A<UndefinedTy>(): // expected-error {{cannot find type 'UndefinedTy' in scope}}
 // expected-note@-1 {{while parsing this '<' as a type parameter bracket}}
 // expected-error@-2 {{cannot specialize non-generic type 'E'}}
 // expected-error@-3 {{enum case 'A' has no associated values}}
break
caseE.B<Int>(): // expected-error {{cannot specialize non-generic type 'E'}}
 // expected-error@-1 {{enum case 'B' has no associated values}}
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}
}

extensionE:Error{}
func canThrow()throws{
throwE.A
}

do{
trycanThrow()
}catchE.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=}}
 // ..
}catchE.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
}