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
|
// RUN: %target-swift-frontend -typecheck %s -I %S/Inputs/custom-modules -verify -warnings-as-errors -enable-nonfrozen-enum-exhaustivity-diagnostics
// RUN: %target-swift-ide-test -source-filename %s -print-module -module-to-print EnumExhaustivity -I %S/Inputs/custom-modules | %FileCheck %s
// CHECK-LABEL: {{^}}enum RegularEnum : {{.+}} {
// CHECK: case A
// CHECK-NEXT: case B
// CHECK-NEXT: {{^}$}}
// CHECK-LABEL: {{^}}@frozen enum ExhaustiveEnum : {{.+}} {
// CHECK: case A
// CHECK-NEXT: case B
// CHECK-NEXT: {{^}$}}
import EnumExhaustivity
func test(_ value: RegularEnum, _ exhaustiveValue: ExhaustiveEnum) {
switch value { // expected-error {{switch covers known cases, but 'RegularEnum' may have additional unknown values}} expected-note {{handle unknown values using "@unknown default"}}
case .A: break
case .B: break
}
switch exhaustiveValue { // always okay
case .A: break
case .B: break
}
}
func testAttributes(
_ rete: RegularEnumTurnedExhaustive,
_ arete: AnotherRegularEnumTurnedExhaustive,
_ retetb: RegularEnumTurnedExhaustiveThenBackViaAPINotes,
_ fdte: ForwardDeclaredTurnedExhaustive,
_ fdo: ForwardDeclaredOnly
) {
switch rete {
case .A, .B: break
}
switch arete {
case .A, .B: break
}
switch retetb { // expected-error {{switch covers known cases, but 'RegularEnumTurnedExhaustiveThenBackViaAPINotes' may have additional unknown values}} expected-note {{handle unknown values using "@unknown default"}}
case .A, .B: break
}
switch fdte {
case .A, .B: break
}
switch fdo {
case .A, .B: break
}
}
func testUnavailableCases(_ value: UnavailableCases) {
switch value { // okay
case .A: break
case .B: break
}
}
|
