[test] check non-sendability of ManagedBuffer[Pointer]

glessard · glessard · commit a9a7c8aa88aa · 2024-08-08T11:31:16.000-07:00
diff --git a/test/Concurrency/sendable_checking.swift b/test/Concurrency/sendable_checking.swift
@@ -387,6 +387,12 @@ func testPointersAreNotSendable() {
     testSendable(rawMutableBuffer) // expected-warning {{conformance of 'UnsafeMutableRawBufferPointer' to 'Sendable' is unavailable}}
     testSendable(rawMutableBuffer.makeIterator()) // expected-warning {{conformance of 'UnsafeRawBufferPointer.Iterator' to 'Sendable' is unavailable}}
   }
+
+  func testManagedBuffers(buffer1: ManagedBuffer<Int, Int>, buffer2: ManagedBufferPointer<Int, Int>) {
+    testSendable(buffer1) // expected-warning {{conformance of 'ManagedBuffer<Header, Element>' to 'Sendable' is unavailable}}
+
+    testSendable(buffer2) // expected-warning {{conformance of 'ManagedBufferPointer<Header, Element>' to 'Sendable' is unavailable}}
+  }
 }
 
 @available(*, unavailable)

Original file line number	Diff line number	Diff line change
`@@ -387,6 +387,12 @@ func testPointersAreNotSendable() {`
`387`	`387`	`testSendable(rawMutableBuffer) // expected-warning {{conformance of 'UnsafeMutableRawBufferPointer' to 'Sendable' is unavailable}}`
`388`	`388`	`testSendable(rawMutableBuffer.makeIterator()) // expected-warning {{conformance of 'UnsafeRawBufferPointer.Iterator' to 'Sendable' is unavailable}}`
`389`	`389`	`}`
	`390`	`+`
	`391`	`+ func testManagedBuffers(buffer1: ManagedBuffer<Int, Int>, buffer2: ManagedBufferPointer<Int, Int>) {`
	`392`	`+ testSendable(buffer1) // expected-warning {{conformance of 'ManagedBuffer<Header, Element>' to 'Sendable' is unavailable}}`
	`393`	`+`
	`394`	`+ testSendable(buffer2) // expected-warning {{conformance of 'ManagedBufferPointer<Header, Element>' to 'Sendable' is unavailable}}`
	`395`	`+ }`
`390`	`396`	`}`
`391`	`397`
`392`	`398`	`@available(*, unavailable)`