Swift Package IndexBuild Information
Successful build of SwiftCheck, reference master (8ce569), with Swift 6.2 for macOS (SPM) on 19 Oct 2025 09:52:40 UTC.
Swift 6 data race errors: 0
Build Command
env DEVELOPER_DIR=/Applications/Xcode-26.0.0.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 4.68.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/toastersocks/SwiftCheck.git
Reference: master
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/toastersocks/SwiftCheck
* branch master -> FETCH_HEAD
* [new branch] master -> origin/master
HEAD is now at 8ce569a Fix compatibility with older Swift compiler versions
Submodule path 'Carthage/Checkouts/FileCheck': checked out 'bd9cb30ceee1f21c02f51a7168f58471449807d8'
Submodule 'Carthage/Checkouts/FileCheck' (https://github.com/trill-lang/FileCheck.git) registered for path 'Carthage/Checkouts/FileCheck'
Cloning into '/Users/admin/builder/spi-builder-workspace/Carthage/Checkouts/FileCheck'...
Cloned https://github.com/toastersocks/SwiftCheck.git
Revision (git rev-parse @):
8ce569ae88b7fef2f4e22bf99ec27a9412124ee3
SUCCESS checkout https://github.com/toastersocks/SwiftCheck.git at master
Fetching https://github.com/llvm-swift/FileCheck.git
[1/479] Fetching filecheck
Fetched https://github.com/llvm-swift/FileCheck.git from cache (0.69s)
Computing version for https://github.com/llvm-swift/FileCheck.git
Computed https://github.com/llvm-swift/FileCheck.git at 0.2.6 (3.57s)
Fetching https://github.com/apple/swift-argument-parser
Fetching https://github.com/mxcl/Chalk.git
[1/81] Fetching chalk
[60/16763] Fetching chalk, swift-argument-parser
Fetched https://github.com/mxcl/Chalk.git from cache (1.49s)
Fetched https://github.com/apple/swift-argument-parser from cache (1.49s)
Computing version for https://github.com/mxcl/Chalk.git
Computed https://github.com/mxcl/Chalk.git at 0.5.0 (2.13s)
Computing version for https://github.com/apple/swift-argument-parser
Computed https://github.com/apple/swift-argument-parser at 1.6.2 (0.54s)
Creating working copy for https://github.com/apple/swift-argument-parser
Working copy of https://github.com/apple/swift-argument-parser resolved at 1.6.2
Creating working copy for https://github.com/llvm-swift/FileCheck.git
Working copy of https://github.com/llvm-swift/FileCheck.git resolved at 0.2.6
Creating working copy for https://github.com/mxcl/Chalk.git
Working copy of https://github.com/mxcl/Chalk.git resolved at 0.5.0
========================================
ResolveProductDependencies
========================================
Resolving dependencies ...
{
"identity": ".resolve-product-dependencies",
"name": "resolve-dependencies",
"url": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"dependencies": [
{
"identity": "swiftcheck",
"name": "SwiftCheck",
"url": "https://github.com/toastersocks/SwiftCheck.git",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/SwiftCheck",
"dependencies": [
]
}
]
}
Fetching https://github.com/toastersocks/SwiftCheck.git
[1/4558] Fetching swiftcheck
Fetched https://github.com/toastersocks/SwiftCheck.git from cache (1.09s)
Creating working copy for https://github.com/toastersocks/SwiftCheck.git
Working copy of https://github.com/toastersocks/SwiftCheck.git resolved at master (8ce569a)
warning: '.resolve-product-dependencies': dependency 'swiftcheck' is not used by any target
Found 0 product dependencies
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.2
Building package at path: $PWD
https://github.com/toastersocks/SwiftCheck.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-26.0.0.app xcrun swift build --arch arm64
[1/1] Compiling plugin GenerateManual
[2/2] Compiling plugin GenerateDoccReference
Building for debugging...
[2/4] Write sources
[3/4] Write swift-version-49B95AFC49DCD68C.txt
[5/19] Compiling SwiftCheck Test.swift
[6/19] Compiling SwiftCheck State.swift
[7/19] Compiling SwiftCheck Testable.swift
[8/19] Compiling SwiftCheck Rose.swift
[9/20] Compiling SwiftCheck WitnessedArbitrary.swift
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:25:34: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
23 | /// Returns a generator of `AnyBidirectionalCollection`s of arbitrary `Element`s.
24 | public static var arbitrary : Gen<AnyBidirectionalCollection<Element>> {
25 | return [Element].arbitrary.map(AnyBidirectionalCollection.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
26 | }
27 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:30:46: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
28 | /// The default shrinking function for `AnyBidirectionalCollection`s of arbitrary `Element`s.
29 | public static func shrink(_ bl : AnyBidirectionalCollection<Element>) -> [AnyBidirectionalCollection<Element>] {
30 | return [Element].shrink([Element](bl)).map(AnyBidirectionalCollection.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
31 | }
32 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:37:34: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
35 | /// Returns a generator of `AnySequence`s of arbitrary `Element`s.
36 | public static var arbitrary : Gen<AnySequence<Element>> {
37 | return [Element].arbitrary.map(AnySequence.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
38 | }
39 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:42:46: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
40 | /// The default shrinking function for `AnySequence`s of arbitrary `Element`s.
41 | public static func shrink(_ bl : AnySequence<Element>) -> [AnySequence<Element>] {
42 | return [Element].shrink([Element](bl)).map(AnySequence.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
43 | }
44 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:49:34: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
47 | /// Returns a generator of `ArraySlice`s of arbitrary `Element`s.
48 | public static var arbitrary : Gen<ArraySlice<Element>> {
49 | return [Element].arbitrary.map(ArraySlice.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
50 | }
51 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:54:46: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
52 | /// The default shrinking function for `ArraySlice`s of arbitrary `Element`s.
53 | public static func shrink(_ bl : ArraySlice<Element>) -> [ArraySlice<Element>] {
54 | return [Element].shrink([Element](bl)).map(ArraySlice.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
55 | }
56 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:61:32: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
59 | /// Returns a generator of `CollectionOfOne`s of arbitrary `Element`s.
60 | public static var arbitrary : Gen<CollectionOfOne<Element>> {
61 | return Element.arbitrary.map(CollectionOfOne.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
62 | }
63 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:88:34: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
86 | /// Returns a generator of `ContiguousArray`s of arbitrary `Element`s.
87 | public static var arbitrary : Gen<ContiguousArray<Element>> {
88 | return [Element].arbitrary.map(ContiguousArray.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
89 | }
90 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:93:46: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
91 | /// The default shrinking function for `ContiguousArray`s of arbitrary `Element`s.
92 | public static func shrink(_ bl : ContiguousArray<Element>) -> [ContiguousArray<Element>] {
93 | return [Element].shrink([Element](bl)).map(ContiguousArray.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
94 | }
95 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:134:76: warning: capture of non-Sendable type 'Bound.Type' in an isolated closure [#SendableMetatypes]
132 | /// The default shrinking function for `HalfOpenInterval`s of arbitrary `Bound`s.
133 | public static func shrink(_ bl : Range<Bound>) -> [Range<Bound>] {
134 | return zip(Bound.shrink(bl.lowerBound), Bound.shrink(bl.upperBound)).map(Range.init)
| `- warning: capture of non-Sendable type 'Bound.Type' in an isolated closure [#SendableMetatypes]
135 | }
136 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:165:72: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
163 | }
164 |
165 | return sequence(Array((0...k)).map { _ in Element.arbitrary }).map(Set.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
166 | }
167 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/WitnessedArbitrary.swift:172:45: warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
170 | /// The default shrinking function for `Set`s of arbitrary `Element`s.
171 | public static func shrink(_ s : Set<Element>) -> [Set<Element>] {
172 | return [Element].shrink([Element](s)).map(Set.init)
| `- warning: capture of non-Sendable type 'Element.Type' in an isolated closure [#SendableMetatypes]
173 | }
174 | }
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
[10/20] Compiling SwiftCheck Lattice.swift
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:62:26: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
60 | /// Returns a generator of `Blind` values.
61 | public static var arbitrary : Gen<Blind<A>> {
62 | return A.arbitrary.map(Blind.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
63 | }
64 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:67:36: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
65 | /// The default shrinking function for `Blind` values.
66 | public static func shrink(_ bl : Blind<A>) -> [Blind<A>] {
67 | return A.shrink(bl.getBlind).map(Blind.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
68 | }
69 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:96:26: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
94 | /// Returns a generator of `Static` values.
95 | public static var arbitrary : Gen<Static<A>> {
96 | return A.arbitrary.map(Static.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
97 | }
98 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:135:33: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
133 | /// Returns a generator for an `OrderedArrayOf` values.
134 | public static var arbitrary : Gen<OrderedArrayOf<A>> {
135 | return Array<A>.arbitrary.map(OrderedArrayOf.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
136 | }
137 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:140:80: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
138 | /// The default shrinking function for an `OrderedArrayOf` values.
139 | public static func shrink(_ bl : OrderedArrayOf<A>) -> [OrderedArrayOf<A>] {
140 | return Array<A>.shrink(bl.getOrderedArray).filter({ $0.sorted() == $0 }).map(OrderedArrayOf.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
141 | }
142 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:164:38: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
162 | /// Returns a generator for a `PointerOf` values.
163 | public static var arbitrary : Gen<PointerOf<T>> {
164 | return PointerOfImpl.arbitrary.map(PointerOf.init)
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
165 | }
166 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:184:42: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
182 | /// Returns a generator for an `ArrowOf` function values.
183 | public static var arbitrary : Gen<ArrowOf<T, U>> {
184 | return ArrowOfImpl<T, U>.arbitrary.map(ArrowOf.init)
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
185 | }
186 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:184:42: warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
182 | /// Returns a generator for an `ArrowOf` function values.
183 | public static var arbitrary : Gen<ArrowOf<T, U>> {
184 | return ArrowOfImpl<T, U>.arbitrary.map(ArrowOf.init)
| `- warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
185 | }
186 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:218:40: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
216 | /// Returns a generator for an `IsoOf` function values.
217 | public static var arbitrary : Gen<IsoOf<T, U>> {
218 | return IsoOfImpl<T, U>.arbitrary.map(IsoOf.init)
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
219 | }
220 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:218:40: warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
216 | /// Returns a generator for an `IsoOf` function values.
217 | public static var arbitrary : Gen<IsoOf<T, U>> {
218 | return IsoOfImpl<T, U>.arbitrary.map(IsoOf.init)
| `- warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
219 | }
220 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:250:44: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
248 | /// Returns a generator of `Large` values.
249 | public static var arbitrary : Gen<Large<A>> {
250 | return Gen<A>.choose((A.min, A.max)).map(Large.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
251 | }
252 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:255:41: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
253 | /// The default shrinking function for `Large` values.
254 | public static func shrink(_ bl : Large<A>) -> [Large<A>] {
255 | return bl.getLarge.shrinkIntegral.map(Large.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
256 | }
257 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:276:31: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
274 | /// Returns a generator of `Positive` values.
275 | public static var arbitrary : Gen<Positive<A>> {
276 | return A.arbitrary.map(comp(Positive.init, abs)).suchThat { $0.getPositive > 0 }
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
277 | }
278 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:281:58: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
279 | /// The default shrinking function for `Positive` values.
280 | public static func shrink(_ bl : Positive<A>) -> [Positive<A>] {
281 | return A.shrink(bl.getPositive).filter({ $0 > 0 }).map(Positive.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
282 | }
283 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:310:48: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
308 | /// Returns a generator of `NonZero` values.
309 | public static var arbitrary : Gen<NonZero<A>> {
310 | return A.arbitrary.suchThat({ $0 != 0 }).map(NonZero.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
311 | }
312 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:315:58: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
313 | /// The default shrinking function for `NonZero` values.
314 | public static func shrink(_ bl : NonZero<A>) -> [NonZero<A>] {
315 | return A.shrink(bl.getNonZero).filter({ $0 != 0 }).map(NonZero.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
316 | }
317 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:343:48: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
341 | /// Returns a generator of `NonNegative` values.
342 | public static var arbitrary : Gen<NonNegative<A>> {
343 | return A.arbitrary.suchThat({ $0 >= 0 }).map(NonNegative.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
344 | }
345 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:348:62: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
346 | /// The default shrinking function for `NonNegative` values.
347 | public static func shrink(_ bl : NonNegative<A>) -> [NonNegative<A>] {
348 | return A.shrink(bl.getNonNegative).filter({ $0 >= 0 }).map(NonNegative.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
349 | }
350 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:394:10: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
392 | return promote({ a in
393 | return T.coarbitrary(a)(U.arbitrary)
394 | }).map(ArrowOfImpl.init)
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
395 | }
396 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:394:10: warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
392 | return promote({ a in
393 | return T.coarbitrary(a)(U.arbitrary)
394 | }).map(ArrowOfImpl.init)
| `- warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
395 | }
396 |
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
[11/20] Compiling SwiftCheck Modifiers.swift
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:62:26: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
60 | /// Returns a generator of `Blind` values.
61 | public static var arbitrary : Gen<Blind<A>> {
62 | return A.arbitrary.map(Blind.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
63 | }
64 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:67:36: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
65 | /// The default shrinking function for `Blind` values.
66 | public static func shrink(_ bl : Blind<A>) -> [Blind<A>] {
67 | return A.shrink(bl.getBlind).map(Blind.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
68 | }
69 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:96:26: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
94 | /// Returns a generator of `Static` values.
95 | public static var arbitrary : Gen<Static<A>> {
96 | return A.arbitrary.map(Static.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
97 | }
98 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:135:33: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
133 | /// Returns a generator for an `OrderedArrayOf` values.
134 | public static var arbitrary : Gen<OrderedArrayOf<A>> {
135 | return Array<A>.arbitrary.map(OrderedArrayOf.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
136 | }
137 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:140:80: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
138 | /// The default shrinking function for an `OrderedArrayOf` values.
139 | public static func shrink(_ bl : OrderedArrayOf<A>) -> [OrderedArrayOf<A>] {
140 | return Array<A>.shrink(bl.getOrderedArray).filter({ $0.sorted() == $0 }).map(OrderedArrayOf.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
141 | }
142 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:164:38: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
162 | /// Returns a generator for a `PointerOf` values.
163 | public static var arbitrary : Gen<PointerOf<T>> {
164 | return PointerOfImpl.arbitrary.map(PointerOf.init)
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
165 | }
166 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:184:42: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
182 | /// Returns a generator for an `ArrowOf` function values.
183 | public static var arbitrary : Gen<ArrowOf<T, U>> {
184 | return ArrowOfImpl<T, U>.arbitrary.map(ArrowOf.init)
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
185 | }
186 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:184:42: warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
182 | /// Returns a generator for an `ArrowOf` function values.
183 | public static var arbitrary : Gen<ArrowOf<T, U>> {
184 | return ArrowOfImpl<T, U>.arbitrary.map(ArrowOf.init)
| `- warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
185 | }
186 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:218:40: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
216 | /// Returns a generator for an `IsoOf` function values.
217 | public static var arbitrary : Gen<IsoOf<T, U>> {
218 | return IsoOfImpl<T, U>.arbitrary.map(IsoOf.init)
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
219 | }
220 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:218:40: warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
216 | /// Returns a generator for an `IsoOf` function values.
217 | public static var arbitrary : Gen<IsoOf<T, U>> {
218 | return IsoOfImpl<T, U>.arbitrary.map(IsoOf.init)
| `- warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
219 | }
220 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:250:44: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
248 | /// Returns a generator of `Large` values.
249 | public static var arbitrary : Gen<Large<A>> {
250 | return Gen<A>.choose((A.min, A.max)).map(Large.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
251 | }
252 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:255:41: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
253 | /// The default shrinking function for `Large` values.
254 | public static func shrink(_ bl : Large<A>) -> [Large<A>] {
255 | return bl.getLarge.shrinkIntegral.map(Large.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
256 | }
257 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:276:31: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
274 | /// Returns a generator of `Positive` values.
275 | public static var arbitrary : Gen<Positive<A>> {
276 | return A.arbitrary.map(comp(Positive.init, abs)).suchThat { $0.getPositive > 0 }
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
277 | }
278 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:281:58: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
279 | /// The default shrinking function for `Positive` values.
280 | public static func shrink(_ bl : Positive<A>) -> [Positive<A>] {
281 | return A.shrink(bl.getPositive).filter({ $0 > 0 }).map(Positive.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
282 | }
283 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:310:48: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
308 | /// Returns a generator of `NonZero` values.
309 | public static var arbitrary : Gen<NonZero<A>> {
310 | return A.arbitrary.suchThat({ $0 != 0 }).map(NonZero.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
311 | }
312 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:315:58: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
313 | /// The default shrinking function for `NonZero` values.
314 | public static func shrink(_ bl : NonZero<A>) -> [NonZero<A>] {
315 | return A.shrink(bl.getNonZero).filter({ $0 != 0 }).map(NonZero.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
316 | }
317 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:343:48: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
341 | /// Returns a generator of `NonNegative` values.
342 | public static var arbitrary : Gen<NonNegative<A>> {
343 | return A.arbitrary.suchThat({ $0 >= 0 }).map(NonNegative.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
344 | }
345 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:348:62: warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
346 | /// The default shrinking function for `NonNegative` values.
347 | public static func shrink(_ bl : NonNegative<A>) -> [NonNegative<A>] {
348 | return A.shrink(bl.getNonNegative).filter({ $0 >= 0 }).map(NonNegative.init)
| `- warning: capture of non-Sendable type 'A.Type' in an isolated closure [#SendableMetatypes]
349 | }
350 | }
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:394:10: warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
392 | return promote({ a in
393 | return T.coarbitrary(a)(U.arbitrary)
394 | }).map(ArrowOfImpl.init)
| `- warning: capture of non-Sendable type 'T.Type' in an isolated closure [#SendableMetatypes]
395 | }
396 |
/Users/admin/builder/spi-builder-workspace/Sources/SwiftCheck/Modifiers.swift:394:10: warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
392 | return promote({ a in
393 | return T.coarbitrary(a)(U.arbitrary)
394 | }).map(ArrowOfImpl.init)
| `- warning: capture of non-Sendable type 'U.Type' in an isolated closure [#SendableMetatypes]
395 | }
396 |
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
[12/20] Compiling SwiftCheck Compose.swift
[13/20] Compiling SwiftCheck Gen.swift
[14/20] Compiling SwiftCheck Property.swift
[15/20] Compiling SwiftCheck Random.swift
[16/20] Emitting module SwiftCheck
[17/20] Compiling SwiftCheck Arbitrary.swift
[18/20] Compiling SwiftCheck Cartesian.swift
[19/20] Compiling SwiftCheck Check.swift
[20/20] Compiling SwiftCheck CoArbitrary.swift
Build complete! (15.79s)
Build complete.
{
"dependencies" : [
{
"identity" : "filecheck",
"requirement" : {
"range" : [
{
"lower_bound" : "0.1.0",
"upper_bound" : "1.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/llvm-swift/FileCheck.git"
}
],
"manifest_display_name" : "SwiftCheck",
"name" : "SwiftCheck",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "SwiftCheck",
"targets" : [
"SwiftCheck"
],
"type" : {
"library" : [
"automatic"
]
}
}
],
"targets" : [
{
"c99name" : "SwiftCheckTests",
"module_type" : "SwiftTarget",
"name" : "SwiftCheckTests",
"path" : "Tests/SwiftCheckTests",
"product_dependencies" : [
"FileCheck"
],
"sources" : [
"BooleanIdentitySpec.swift",
"CartesianSpec.swift",
"ComplexSpec.swift",
"DiscardSpec.swift",
"FailureSpec.swift",
"FormatterSpec.swift",
"GenSpec.swift",
"LambdaSpec.swift",
"ModifierSpec.swift",
"PathSpec.swift",
"PropertySpec.swift",
"ReplaySpec.swift",
"RoseSpec.swift",
"ShrinkSpec.swift",
"SimpleSpec.swift",
"TestSpec.swift"
],
"target_dependencies" : [
"SwiftCheck"
],
"type" : "test"
},
{
"c99name" : "SwiftCheck",
"module_type" : "SwiftTarget",
"name" : "SwiftCheck",
"path" : "Sources/SwiftCheck",
"product_memberships" : [
"SwiftCheck"
],
"sources" : [
"Arbitrary.swift",
"Cartesian.swift",
"Check.swift",
"CoArbitrary.swift",
"Compose.swift",
"Gen.swift",
"Lattice.swift",
"Modifiers.swift",
"Property.swift",
"Random.swift",
"Rose.swift",
"State.swift",
"Test.swift",
"Testable.swift",
"WitnessedArbitrary.swift"
],
"type" : "library"
}
],
"tools_version" : "6.0"
}
Done.