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
|
// RUN: %target-swift-frontend -typecheck %s -Xcc -isystem -Xcc %S/Inputs/custom-modules -verify -swift-version 5 -verify-additional-prefix swift5-
// RUN: %target-swift-frontend -typecheck %s -Xcc -isystem -Xcc %S/Inputs/custom-modules -verify -swift-version 6 -verify-additional-prefix swift6-
import EnumExhaustivity
func test(_ value: RegularEnum, _ exhaustiveValue: ExhaustiveEnum) {
switch value {
// expected-swift5-warning@-1 {{switch covers known cases, but 'RegularEnum' may have additional unknown values, possibly added in future versions}}
// expected-swift6-error@-2 {{switch covers known cases, but 'RegularEnum' may have additional unknown values, possibly added in future versions}}
// expected-note@-3 {{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-swift5-warning@-1 {{switch covers known cases, but 'RegularEnumTurnedExhaustiveThenBackViaAPINotes' may have additional unknown values, possibly added in future versions}}
// expected-swift6-error@-2 {{switch covers known cases, but 'RegularEnumTurnedExhaustiveThenBackViaAPINotes' may have additional unknown values, possibly added in future versions}}
// expected-note@-3 {{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
}
}
|
