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
|
// RUN: %target-swift-frontend -typecheck -verify %s
struct Payload: ~Copyable {
var x: Int
var y: String
}
enum Foo: ~Copyable {
case payload(Payload)
case noPayload
}
enum Bar: ~Copyable {
case payload(Foo)
case noPayload
var member: Bar { fatalError() }
}
struct SourceBreakTest {
func foo() -> Bar {}
func callAsFunction() -> Bar { fatalError() }
}
let borrowing = SourceBreakTest()
func ~=(_: borrowing Bar, _: borrowing Bar) -> Bool { fatalError() }
func useBorrowBar(_: borrowing Bar) { fatalError() }
func useBorrowFoo(_: borrowing Foo) { fatalError() }
func useBorrowPayload(_: borrowing Payload) { fatalError() }
func testBorrowingPatterns(bar: borrowing Bar) {
switch bar {
case borrowing .foo(): // parses as `borrowing.foo()` as before
break
case borrowing (): // parses as `borrowing()` as before
break
case borrowing x: // expected-warning{{'borrowing' in pattern matches is deprecated}} {{10-19=let}}
useBorrowBar(x)
case .payload(borrowing x): // expected-warning{{'borrowing' in pattern matches is deprecated}} {{19-28=let}}
useBorrowFoo(x)
case borrowing x.member: // expected-warning{{deprecated}} expected-error{{'borrowing' pattern modifier must be directly applied to pattern variable name}} expected-error{{cannot find 'x' in scope}}
break
case borrowing x: // expected-warning{{'borrowing' in pattern matches is deprecated}} {{10-19=let}}
useBorrowBar(x)
case _borrowing x: // expected-warning{{'borrowing' in pattern matches is deprecated}} {{10-20=let}}
useBorrowBar(x)
default:
break
}
}
|
