Test: update for BorrowingSwitch enablement

kavon · kavon · commit 99d417b7139c · 2024-05-13T13:12:23.000-07:00
(cherry picked from commit 89ff3fe)
diff --git a/test/Sema/moveonly_enum.swift b/test/Sema/moveonly_enum.swift
@@ -22,7 +22,7 @@ enum Foo3 {
 }
 
 func test_switch(x: consuming Foo3) {
-    switch x { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{12-12=consume }}
+    switch x { 
     default:
         break
     }
@@ -32,7 +32,7 @@ func test_switch(x: consuming Foo3) {
         break
     }
 
-    switch (x) { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{13-13=consume }}
+    switch (x) { 
     default:
         break
     }
@@ -43,7 +43,7 @@ func test_switch(x: consuming Foo3) {
     }
 
     let _: () -> () = {
-        switch x { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{16-16=consume }}
+        switch x { 
         default:
             break
         }
@@ -57,7 +57,7 @@ func test_switch(x: consuming Foo3) {
     }
 
     let _: () -> () = {
-        switch (x) { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{17-17=consume }}
+        switch (x) { 
         default:
             break
         }
@@ -72,19 +72,19 @@ func test_switch(x: consuming Foo3) {
 }
 
 func test_if_case(x: consuming Foo3) {
-    if case .bar(let y) = x { _ = y } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{27-27=consume }}
+    if case .bar(let y) = x { _ = y } 
 
-    guard case .bar(let y) = x else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{30-30=consume }}
+    guard case .bar(let y) = x else { return } 
     _ = y
 
     if case .bar(let z) = consume x { _ = z }
 
     guard case .bar(let z) = consume x else { return }
     _ = z
 
-    if case .bar(let a) = (x) { _ = a } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{28-28=consume }}
+    if case .bar(let a) = (x) { _ = a } 
 
-    guard case .bar(let a) = (x) else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{31-31=consume }}
+    guard case .bar(let a) = (x) else { return } 
     _ = a
 
     if case .bar(let b) = (consume x) { _ = b }
@@ -93,11 +93,11 @@ func test_if_case(x: consuming Foo3) {
     _ = b
 
     let _: () -> () = {
-        if case .bar(let y) = x { _ = y } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{31-31=consume }}
+        if case .bar(let y) = x { _ = y } 
     }
 
     let _: () -> () = {
-        guard case .bar(let y) = x else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{34-34=consume }}
+        guard case .bar(let y) = x else { return } 
         _ = y
     }
 
@@ -111,11 +111,11 @@ func test_if_case(x: consuming Foo3) {
     }
 
     let _: () -> () = {
-        if case .bar(let a) = (x) { _ = a } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{32-32=consume }}
+        if case .bar(let a) = (x) { _ = a } 
     }
 
     let _: () -> () = {
-        guard case .bar(let a) = (x) else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{35-35=consume }}
+        guard case .bar(let a) = (x) else { return } 
         _ = a
     }
 
@@ -130,7 +130,7 @@ func test_if_case(x: consuming Foo3) {
 }
 
 func test_switch_b(x: __owned Foo3) {
-    switch x { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{12-12=consume }}
+    switch x { 
     default:
         break
     }
@@ -140,7 +140,7 @@ func test_switch_b(x: __owned Foo3) {
         break
     }
 
-    switch (x) { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{13-13=consume }}
+    switch (x) { 
     default:
         break
     }
@@ -151,7 +151,7 @@ func test_switch_b(x: __owned Foo3) {
     }
 
     let _: () -> () = {
-        switch x { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{16-16=consume }}
+        switch x { 
         default:
             break
         }
@@ -165,7 +165,7 @@ func test_switch_b(x: __owned Foo3) {
     }
 
     let _: () -> () = {
-        switch (x) { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{17-17=consume }}
+        switch (x) { 
         default:
             break
         }
@@ -180,19 +180,19 @@ func test_switch_b(x: __owned Foo3) {
 }
 
 func test_if_case_b(x: __owned Foo3) {
-    if case .bar(let y) = x { _ = y } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{27-27=consume }}
+    if case .bar(let y) = x { _ = y } 
 
-    guard case .bar(let y) = x else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{30-30=consume }}
+    guard case .bar(let y) = x else { return } 
     _ = y
 
     if case .bar(let z) = consume x { _ = z }
 
     guard case .bar(let z) = consume x else { return }
     _ = z
 
-    if case .bar(let a) = (x) { _ = a } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{28-28=consume }}
+    if case .bar(let a) = (x) { _ = a } 
 
-    guard case .bar(let a) = (x) else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{31-31=consume }}
+    guard case .bar(let a) = (x) else { return } 
     _ = a
 
     if case .bar(let b) = (consume x) { _ = b }
@@ -201,11 +201,11 @@ func test_if_case_b(x: __owned Foo3) {
     _ = b
 
     let _: () -> () = {
-        if case .bar(let y) = x { _ = y } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{31-31=consume }}
+        if case .bar(let y) = x { _ = y } 
     }
 
     let _: () -> () = {
-        guard case .bar(let y) = x else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{34-34=consume }}
+        guard case .bar(let y) = x else { return } 
         _ = y
     }
 
@@ -219,11 +219,11 @@ func test_if_case_b(x: __owned Foo3) {
     }
 
     let _: () -> () = {
-        if case .bar(let a) = (x) { _ = a } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{32-32=consume }}
+        if case .bar(let a) = (x) { _ = a } 
     }
 
     let _: () -> () = {
-        guard case .bar(let a) = (x) else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{35-35=consume }}
+        guard case .bar(let a) = (x) else { return } 
         _ = a
     }
 

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ enum Foo3 {`
`22`	`22`	`}`
`23`	`23`
`24`	`24`	`func test_switch(x: consuming Foo3) {`
`25`		`- switch x { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{12-12=consume }}`
	`25`	`+ switch x {`
`26`	`26`	`default:`
`27`	`27`	`break`
`28`	`28`	`}`
`@@ -32,7 +32,7 @@ func test_switch(x: consuming Foo3) {`
`32`	`32`	`break`
`33`	`33`	`}`
`34`	`34`
`35`		`- switch (x) { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{13-13=consume }}`
	`35`	`+ switch (x) {`
`36`	`36`	`default:`
`37`	`37`	`break`
`38`	`38`	`}`
`@@ -43,7 +43,7 @@ func test_switch(x: consuming Foo3) {`
`43`	`43`	`}`
`44`	`44`
`45`	`45`	`let _: () -> () = {`
`46`		`- switch x { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{16-16=consume }}`
	`46`	`+ switch x {`
`47`	`47`	`default:`
`48`	`48`	`break`
`49`	`49`	`}`
`@@ -57,7 +57,7 @@ func test_switch(x: consuming Foo3) {`
`57`	`57`	`}`
`58`	`58`
`59`	`59`	`let _: () -> () = {`
`60`		`- switch (x) { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{17-17=consume }}`
	`60`	`+ switch (x) {`
`61`	`61`	`default:`
`62`	`62`	`break`
`63`	`63`	`}`
`@@ -72,19 +72,19 @@ func test_switch(x: consuming Foo3) {`
`72`	`72`	`}`
`73`	`73`
`74`	`74`	`func test_if_case(x: consuming Foo3) {`
`75`		`- if case .bar(let y) = x { _ = y } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{27-27=consume }}`
	`75`	`+ if case .bar(let y) = x { _ = y }`
`76`	`76`
`77`		`- guard case .bar(let y) = x else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{30-30=consume }}`
	`77`	`+ guard case .bar(let y) = x else { return }`
`78`	`78`	`_ = y`
`79`	`79`
`80`	`80`	`if case .bar(let z) = consume x { _ = z }`
`81`	`81`
`82`	`82`	`guard case .bar(let z) = consume x else { return }`
`83`	`83`	`_ = z`
`84`	`84`
`85`		`- if case .bar(let a) = (x) { _ = a } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{28-28=consume }}`
	`85`	`+ if case .bar(let a) = (x) { _ = a }`
`86`	`86`
`87`		`- guard case .bar(let a) = (x) else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{31-31=consume }}`
	`87`	`+ guard case .bar(let a) = (x) else { return }`
`88`	`88`	`_ = a`
`89`	`89`
`90`	`90`	`if case .bar(let b) = (consume x) { _ = b }`
`@@ -93,11 +93,11 @@ func test_if_case(x: consuming Foo3) {`
`93`	`93`	`_ = b`
`94`	`94`
`95`	`95`	`let _: () -> () = {`
`96`		`- if case .bar(let y) = x { _ = y } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{31-31=consume }}`
	`96`	`+ if case .bar(let y) = x { _ = y }`
`97`	`97`	`}`
`98`	`98`
`99`	`99`	`let _: () -> () = {`
`100`		`- guard case .bar(let y) = x else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{34-34=consume }}`
	`100`	`+ guard case .bar(let y) = x else { return }`
`101`	`101`	`_ = y`
`102`	`102`	`}`
`103`	`103`
`@@ -111,11 +111,11 @@ func test_if_case(x: consuming Foo3) {`
`111`	`111`	`}`
`112`	`112`
`113`	`113`	`let _: () -> () = {`
`114`		`- if case .bar(let a) = (x) { _ = a } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{32-32=consume }}`
	`114`	`+ if case .bar(let a) = (x) { _ = a }`
`115`	`115`	`}`
`116`	`116`
`117`	`117`	`let _: () -> () = {`
`118`		`- guard case .bar(let a) = (x) else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{35-35=consume }}`
	`118`	`+ guard case .bar(let a) = (x) else { return }`
`119`	`119`	`_ = a`
`120`	`120`	`}`
`121`	`121`
`@@ -130,7 +130,7 @@ func test_if_case(x: consuming Foo3) {`
`130`	`130`	`}`
`131`	`131`
`132`	`132`	`func test_switch_b(x: __owned Foo3) {`
`133`		`- switch x { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{12-12=consume }}`
	`133`	`+ switch x {`
`134`	`134`	`default:`
`135`	`135`	`break`
`136`	`136`	`}`
`@@ -140,7 +140,7 @@ func test_switch_b(x: __owned Foo3) {`
`140`	`140`	`break`
`141`	`141`	`}`
`142`	`142`
`143`		`- switch (x) { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{13-13=consume }}`
	`143`	`+ switch (x) {`
`144`	`144`	`default:`
`145`	`145`	`break`
`146`	`146`	`}`
`@@ -151,7 +151,7 @@ func test_switch_b(x: __owned Foo3) {`
`151`	`151`	`}`
`152`	`152`
`153`	`153`	`let _: () -> () = {`
`154`		`- switch x { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{16-16=consume }}`
	`154`	`+ switch x {`
`155`	`155`	`default:`
`156`	`156`	`break`
`157`	`157`	`}`
`@@ -165,7 +165,7 @@ func test_switch_b(x: __owned Foo3) {`
`165`	`165`	`}`
`166`	`166`
`167`	`167`	`let _: () -> () = {`
`168`		`- switch (x) { // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{17-17=consume }}`
	`168`	`+ switch (x) {`
`169`	`169`	`default:`
`170`	`170`	`break`
`171`	`171`	`}`
`@@ -180,19 +180,19 @@ func test_switch_b(x: __owned Foo3) {`
`180`	`180`	`}`
`181`	`181`
`182`	`182`	`func test_if_case_b(x: __owned Foo3) {`
`183`		`- if case .bar(let y) = x { _ = y } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{27-27=consume }}`
	`183`	`+ if case .bar(let y) = x { _ = y }`
`184`	`184`
`185`		`- guard case .bar(let y) = x else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{30-30=consume }}`
	`185`	`+ guard case .bar(let y) = x else { return }`
`186`	`186`	`_ = y`
`187`	`187`
`188`	`188`	`if case .bar(let z) = consume x { _ = z }`
`189`	`189`
`190`	`190`	`guard case .bar(let z) = consume x else { return }`
`191`	`191`	`_ = z`
`192`	`192`
`193`		`- if case .bar(let a) = (x) { _ = a } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{28-28=consume }}`
	`193`	`+ if case .bar(let a) = (x) { _ = a }`
`194`	`194`
`195`		`- guard case .bar(let a) = (x) else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{31-31=consume }}`
	`195`	`+ guard case .bar(let a) = (x) else { return }`
`196`	`196`	`_ = a`
`197`	`197`
`198`	`198`	`if case .bar(let b) = (consume x) { _ = b }`
`@@ -201,11 +201,11 @@ func test_if_case_b(x: __owned Foo3) {`
`201`	`201`	`_ = b`
`202`	`202`
`203`	`203`	`let _: () -> () = {`
`204`		`- if case .bar(let y) = x { _ = y } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{31-31=consume }}`
	`204`	`+ if case .bar(let y) = x { _ = y }`
`205`	`205`	`}`
`206`	`206`
`207`	`207`	`let _: () -> () = {`
`208`		`- guard case .bar(let y) = x else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{34-34=consume }}`
	`208`	`+ guard case .bar(let y) = x else { return }`
`209`	`209`	`_ = y`
`210`	`210`	`}`
`211`	`211`
`@@ -219,11 +219,11 @@ func test_if_case_b(x: __owned Foo3) {`
`219`	`219`	`}`
`220`	`220`
`221`	`221`	`let _: () -> () = {`
`222`		`- if case .bar(let a) = (x) { _ = a } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{32-32=consume }}`
	`222`	`+ if case .bar(let a) = (x) { _ = a }`
`223`	`223`	`}`
`224`	`224`
`225`	`225`	`let _: () -> () = {`
`226`		`- guard case .bar(let a) = (x) else { return } // expected-error{{noncopyable binding being pattern-matched must have the 'consume' operator applied}} {{35-35=consume }}`
	`226`	`+ guard case .bar(let a) = (x) else { return }`
`227`	`227`	`_ = a`
`228`	`228`	`}`
`229`	`229`