Swift Package IndexBuild Information
Failed to build SwiftCheck, reference 0.13.1 (8ce569), with Swift 6.3 for Linux on 17 Apr 2026 07:29:18 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4606859-0":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/swiftpackageindex/spi-images:basic-6.3-latest swift build --triple x86_64-unknown-linux-gnu 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.70.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/toastersocks/SwiftCheck.git
Reference: 0.13.1
Initialized empty Git repository in /host/spi-builder-workspace/.git/
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
From https://github.com/toastersocks/SwiftCheck
* tag 0.13.1 -> FETCH_HEAD
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 '/host/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 0.13.1
========================================
Build
========================================
Selected platform: linux
Swift version: 6.3
Building package at path: $PWD
https://github.com/toastersocks/SwiftCheck.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4606859-0":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/swiftpackageindex/spi-images:basic-6.3-latest swift build --triple x86_64-unknown-linux-gnu 2>&1
basic-6.3-latest: Pulling from swiftpackageindex/spi-images
Digest: sha256:5a7d791d2ead8a924b1292cb31bf3288eabcfe8880e0b005b00b45b71a5bc36a
Status: Image is up to date for registry.gitlab.com/swiftpackageindex/spi-images:basic-6.3-latest
Fetching https://github.com/llvm-swift/FileCheck.git
[1/479] Fetching filecheck
Fetched https://github.com/llvm-swift/FileCheck.git from cache (0.59s)
Computing version for https://github.com/llvm-swift/FileCheck.git
Computed https://github.com/llvm-swift/FileCheck.git at 0.2.6 (5.79s)
Fetching https://github.com/mxcl/Chalk.git
Fetching https://github.com/apple/swift-argument-parser
[1/17523] Fetching swift-argument-parser
[3857/17604] Fetching swift-argument-parser, chalk
Fetched https://github.com/mxcl/Chalk.git from cache (1.83s)
Fetched https://github.com/apple/swift-argument-parser from cache (1.85s)
Computing version for https://github.com/mxcl/Chalk.git
Computed https://github.com/mxcl/Chalk.git at 0.5.0 (2.93s)
Computing version for https://github.com/apple/swift-argument-parser
Computed https://github.com/apple/swift-argument-parser at 1.7.1 (1.06s)
Creating working copy for https://github.com/mxcl/Chalk.git
Working copy of https://github.com/mxcl/Chalk.git resolved at 0.5.0
Creating working copy for https://github.com/apple/swift-argument-parser
Working copy of https://github.com/apple/swift-argument-parser resolved at 1.7.1
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
[1/1] Compiling plugin GenerateManual
[2/2] Compiling plugin GenerateDoccReference
Building for debugging...
[2/4] Write sources
[3/4] Write swift-version-24593BA9C3E375BF.txt
[5/19] Compiling SwiftCheck Test.swift
[6/19] Compiling SwiftCheck Testable.swift
[7/19] Compiling SwiftCheck Rose.swift
[8/19] Compiling SwiftCheck State.swift
[9/20] Compiling SwiftCheck WitnessedArbitrary.swift
/host/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 |
/host/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 | }
/host/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 |
/host/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 | }
/host/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 |
/host/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 | }
/host/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 | }
/host/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 |
/host/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 | }
/host/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 | }
/host/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 | }
/host/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>
error: emit-module command failed with exit code 1 (use -v to see invocation)
[10/20] Emitting module SwiftCheck
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:111:13: error: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
109 |
110 | /// Maximum value of `Float`.
111 | public var FLT_MAX: Float = 3.40282347e+38
| |- error: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'FLT_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'FLT_MAX' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:113:13: error: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
111 | public var FLT_MAX: Float = 3.40282347e+38
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
| |- error: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'FLT_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'FLT_MIN' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
114 |
115 | /// Maximum value of `Double`.
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:116:13: error: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
114 |
115 | /// Maximum value of `Double`.
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
| |- error: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'DBL_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'DBL_MAX' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:118:13: error: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
| |- error: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'DBL_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'DBL_MIN' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
119 | #else
120 | import Darwin
[#MutableGlobalVariable]: <https://docs.swift.org/compiler/documentation/diagnostics/mutable-global-variable>
[11/20] Compiling SwiftCheck Check.swift
[12/20] Compiling SwiftCheck CoArbitrary.swift
[13/20] Compiling SwiftCheck Arbitrary.swift
[14/20] Compiling SwiftCheck Cartesian.swift
[15/20] Compiling SwiftCheck Compose.swift
[16/20] Compiling SwiftCheck Gen.swift
[17/20] Compiling SwiftCheck Property.swift
[18/20] Compiling SwiftCheck Random.swift
[19/20] Compiling SwiftCheck Lattice.swift
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:111:13: error: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
109 |
110 | /// Maximum value of `Float`.
111 | public var FLT_MAX: Float = 3.40282347e+38
| |- error: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'FLT_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'FLT_MAX' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:113:13: error: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
111 | public var FLT_MAX: Float = 3.40282347e+38
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
| |- error: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'FLT_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'FLT_MIN' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
114 |
115 | /// Maximum value of `Double`.
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:116:13: error: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
114 |
115 | /// Maximum value of `Double`.
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
| |- error: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'DBL_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'DBL_MAX' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:118:13: error: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
| |- error: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'DBL_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'DBL_MIN' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
119 | #else
120 | import Darwin
/host/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 |
/host/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 | }
/host/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 | }
/host/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 |
/host/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 | }
/host/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 | }
/host/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 | }
/host/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 | }
/host/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 | }
/host/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 | }
/host/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 |
/host/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 | }
/host/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 |
/host/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 | }
/host/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 |
/host/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 | }
/host/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 |
/host/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 | }
/host/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 |
/host/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 |
[#MutableGlobalVariable]: <https://docs.swift.org/compiler/documentation/diagnostics/mutable-global-variable>
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
[20/20] Compiling SwiftCheck Modifiers.swift
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:111:13: error: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
109 |
110 | /// Maximum value of `Float`.
111 | public var FLT_MAX: Float = 3.40282347e+38
| |- error: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'FLT_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'FLT_MAX' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:113:13: error: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
111 | public var FLT_MAX: Float = 3.40282347e+38
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
| |- error: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'FLT_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'FLT_MIN' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
114 |
115 | /// Maximum value of `Double`.
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:116:13: error: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
114 |
115 | /// Maximum value of `Double`.
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
| |- error: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'DBL_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'DBL_MAX' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:118:13: error: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
| |- error: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state [#MutableGlobalVariable]
| |- note: convert 'DBL_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: add '@MainActor' to make var 'DBL_MIN' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
119 | #else
120 | import Darwin
/host/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 |
/host/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 | }
/host/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 | }
/host/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 |
/host/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 | }
/host/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 | }
/host/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 | }
/host/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 | }
/host/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 | }
/host/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 | }
/host/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 |
/host/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 | }
/host/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 |
/host/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 | }
/host/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 |
/host/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 | }
/host/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 |
/host/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 | }
/host/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 |
/host/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 |
[#MutableGlobalVariable]: <https://docs.swift.org/compiler/documentation/diagnostics/mutable-global-variable>
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
BUILD FAILURE 6.3 linux