Swift Package IndexBuild Information
Failed to build Bow, reference master (a8c1a7), with Swift 6.2 for Linux on 17 Jun 2025 18:24:16 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4609320-1":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:basic-6.2-latest swift build --triple x86_64-unknown-linux-gnu 2>&1Build Log
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
/host/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 | /// - else: Computation that will be executed if this evaluates to `false`.
186 | /// - Returns: Composition of the computations.
187 | func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 | F.ifS(self, then: t, else: e)
189 | }
/host/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
8 | /// class ForOption {}
9 | /// class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
| `- note: 'A' previously declared here
11 | /// Default initializer
12 | public init() {}
[280/429] Compiling BowRecursionSchemes Birecursive.swift
[281/429] Compiling BowGeneric Generic.swift
[282/430] Compiling BowRecursionSchemes Corecursive.swift
[283/430] Compiling BowRecursionSchemes Recursive.swift
[284/430] Compiling BowRecursionSchemes Recursion.swift
[285/430] Emitting module BowRecursionSchemes
[286/430] Compiling BowGenerators NonEmptyArray+Gen.swift
[287/430] Compiling BowGenerators Option+Gen.swift
[288/432] Compiling BowRecursionSchemes Nu.swift
[289/432] Compiling BowGeneric Product.swift
[290/432] Compiling BowGenerators EitherT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
[291/432] Compiling BowGenerators EnvT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
[292/432] Compiling BowGenerators OptionT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
[293/432] Compiling BowGenerators StateT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
[294/436] Compiling BowRecursionSchemes Fix.swift
[295/436] Compiling BowRecursionSchemes Mu.swift
[296/437] Compiling BowEffects MonadDefer.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
[297/437] Compiling BowEffects UnsafeRun.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
[298/437] Compiling BowGenerators Yoneda+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
[299/437] Compiling BowGenerators Zipper+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
[303/437] Emitting module BowFree
/host/spi-builder-workspace/Sources/BowFree/Free.swift:16:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
12 |
13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
| `- note: 'F' previously declared here
15 | /// Internal representation of a Free value
16 | public enum _Free<F: Functor, A> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
17 | case pure(A)
18 | case free(Kind<F, Free<F, A>>)
/host/spi-builder-workspace/Sources/BowFree/Free.swift:16:35: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
12 |
13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
| `- note: 'A' previously declared here
15 | /// Internal representation of a Free value
16 | public enum _Free<F: Functor, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
17 | case pure(A)
18 | case free(Kind<F, Free<F, A>>)
[304/437] Compiling BowFree FunctionK+Free.swift
[305/437] Compiling BowFree Program.swift
[306/437] Compiling BowGenerators Co+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
[307/437] Compiling BowGenerators Const+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
[308/437] Compiling BowGenerators CoyonedaGen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
[309/437] Compiling BowGenerators Day+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
[310/437] Compiling BowGenerators DictionaryK+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
[311/437] Compiling BowGenerators Function0+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[312/437] Compiling BowGenerators Function1+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[313/437] Compiling BowGenerators Kleisli+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[314/437] Compiling BowGenerators LazyFunction1+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[315/437] Compiling BowGenerators ArrayK+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[316/437] Emitting module BowGenerators
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
/host/spi-builder-workspace/Tests/BowGenerators/Data/PairK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension PairK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<PairK<F, G, A>> {
8 | Gen.from(PairKPartial.generate >>> PairK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Sum<F, G, V>> {
8 | Gen.from(SumPartial.generate >>> Sum.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Trampoline+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Trampoline: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Trampoline<A>> {
8 | Gen.sized(arbitraryTrampoline)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Tree+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 |
5 | // MARK: Generator for Property-based Testing
6 | extension Tree: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Tree<A>> {
8 | Gen.sized { gen(size: UInt($0)) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StoreT<S, W, A>> {
8 | Gen.from(StoreTPartial.generate >>> StoreT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<TracedT<M, W, A>> {
8 | Gen.from(TracedTPartial.generate >>> TracedT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Propery-based Testing
5 |
6 | extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<WriterT<F, W, A>> {
8 | Gen.from(WriterTPartial.generate >>> WriterT.fix)
[317/437] Compiling BowGenerators Id+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
[318/437] Compiling BowGenerators Ior+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
[319/437] Compiling BowGenerators Moore+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
[322/437] Compiling BowGenerators Either+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
[323/437] Compiling BowGenerators EitherK+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
[324/437] Compiling BowGenerators Endo+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
[325/437] Compiling BowGenerators Eval+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
[326/437] Compiling BowGenerators Exists+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
[327/437] Compiling BowFree Cofree.swift
[328/437] Compiling BowFree Free.swift
/host/spi-builder-workspace/Sources/BowFree/Free.swift:16:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
12 |
13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
| `- note: 'F' previously declared here
15 | /// Internal representation of a Free value
16 | public enum _Free<F: Functor, A> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
17 | case pure(A)
18 | case free(Kind<F, Free<F, A>>)
/host/spi-builder-workspace/Sources/BowFree/Free.swift:16:35: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
12 |
13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
| `- note: 'A' previously declared here
15 | /// Internal representation of a Free value
16 | public enum _Free<F: Functor, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
17 | case pure(A)
18 | case free(Kind<F, Free<F, A>>)
[330/438] Compiling BowGenerators StoreT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StoreT<S, W, A>> {
8 | Gen.from(StoreTPartial.generate >>> StoreT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<TracedT<M, W, A>> {
8 | Gen.from(TracedTPartial.generate >>> TracedT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Propery-based Testing
5 |
6 | extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<WriterT<F, W, A>> {
8 | Gen.from(WriterTPartial.generate >>> WriterT.fix)
[331/438] Compiling BowGenerators TracedT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StoreT<S, W, A>> {
8 | Gen.from(StoreTPartial.generate >>> StoreT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<TracedT<M, W, A>> {
8 | Gen.from(TracedTPartial.generate >>> TracedT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Propery-based Testing
5 |
6 | extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<WriterT<F, W, A>> {
8 | Gen.from(WriterTPartial.generate >>> WriterT.fix)
[332/438] Compiling BowGenerators WriterT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StoreT<S, W, A>> {
8 | Gen.from(StoreTPartial.generate >>> StoreT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<TracedT<M, W, A>> {
8 | Gen.from(TracedTPartial.generate >>> TracedT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Propery-based Testing
5 |
6 | extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<WriterT<F, W, A>> {
8 | Gen.from(WriterTPartial.generate >>> WriterT.fix)
[333/438] Compiling BowGenerators ArbitraryK.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StoreT<S, W, A>> {
8 | Gen.from(StoreTPartial.generate >>> StoreT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<TracedT<M, W, A>> {
8 | Gen.from(TracedTPartial.generate >>> TracedT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Propery-based Testing
5 |
6 | extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<WriterT<F, W, A>> {
8 | Gen.from(WriterTPartial.generate >>> WriterT.fix)
[334/438] Compiling BowGeneric HList.swift
[335/438] Emitting module BowEffects
/host/spi-builder-workspace/Sources/BowEffects/Typeclasses/Async.swift:149:30: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
147 | /// - Parameter f: A function that provides a value or an error.
148 | /// - Returns: A computation that defers the execution of the provided value.
149 | static func delayOrRaise<A>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
150 | _ queue: DispatchQueue,
151 | _ f: @escaping () -> Either<F.E, A>) -> Kind<F, A> {
[336/438] Compiling BowGenerators PairK+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/PairK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension PairK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<PairK<F, G, A>> {
8 | Gen.from(PairKPartial.generate >>> PairK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Sum<F, G, V>> {
8 | Gen.from(SumPartial.generate >>> Sum.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Trampoline+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Trampoline: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Trampoline<A>> {
8 | Gen.sized(arbitraryTrampoline)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Tree+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 |
5 | // MARK: Generator for Property-based Testing
6 | extension Tree: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Tree<A>> {
8 | Gen.sized { gen(size: UInt($0)) }
[337/438] Compiling BowGenerators Sum+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/PairK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension PairK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<PairK<F, G, A>> {
8 | Gen.from(PairKPartial.generate >>> PairK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Sum<F, G, V>> {
8 | Gen.from(SumPartial.generate >>> Sum.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Trampoline+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Trampoline: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Trampoline<A>> {
8 | Gen.sized(arbitraryTrampoline)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Tree+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 |
5 | // MARK: Generator for Property-based Testing
6 | extension Tree: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Tree<A>> {
8 | Gen.sized { gen(size: UInt($0)) }
[338/438] Compiling BowGenerators Trampoline+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/PairK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension PairK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<PairK<F, G, A>> {
8 | Gen.from(PairKPartial.generate >>> PairK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Sum<F, G, V>> {
8 | Gen.from(SumPartial.generate >>> Sum.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Trampoline+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Trampoline: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Trampoline<A>> {
8 | Gen.sized(arbitraryTrampoline)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Tree+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 |
5 | // MARK: Generator for Property-based Testing
6 | extension Tree: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Tree<A>> {
8 | Gen.sized { gen(size: UInt($0)) }
[339/438] Compiling BowGenerators Tree+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/PairK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension PairK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<PairK<F, G, A>> {
8 | Gen.from(PairKPartial.generate >>> PairK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Sum<F, G, V>> {
8 | Gen.from(SumPartial.generate >>> Sum.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Trampoline+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Trampoline: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Trampoline<A>> {
8 | Gen.sized(arbitraryTrampoline)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Tree+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 |
5 | // MARK: Generator for Property-based Testing
6 | extension Tree: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Tree<A>> {
8 | Gen.sized { gen(size: UInt($0)) }
[345/470] Compiling BowLaws BindingOperatorOverload.swift
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:18:62: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
16 | func dataTaskIO(with url: URL) -> DataIO {
17 | IO.async { callback in
18 | self.dataTask(with: url, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
19 | }^
20 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:25:66: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
23 | func dataTaskIO(with request: URLRequest) -> DataIO {
24 | IO.async { callback in
25 | self.dataTask(with: request, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
26 | }^
27 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:34:66: warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
32 | func downloadTaskIO(with url: URL) -> DownloadIO {
33 | IO.async { callback in
34 | self.downloadTask(with: url, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
35 | }^
36 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:41:70: warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
39 | func downloadTaskIO(with request: URLRequest) -> DownloadIO {
40 | IO.async { callback in
41 | self.downloadTask(with: request, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
42 | }^
43 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:48:77: warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
46 | func downloadTaskIO(withResumeData data: Data) -> DownloadIO {
47 | IO.async { callback in
48 | self.downloadTask(withResumeData: data, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
49 | }^
50 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:59:80: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
57 | from data: Data) -> DataIO {
58 | IO.async { callback in
59 | self.uploadTask(with: request, from: data, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
60 | }^
61 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:68:83: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
66 | fromFile url: URL) -> DataIO {
67 | IO.async { callback in
68 | self.uploadTask(with: request, fromFile: url, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
69 | }^
70 | }
/host/spi-builder-workspace/Sources/BowEffects/Typeclasses/Async.swift:149:30: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
147 | /// - Parameter f: A function that provides a value or an error.
148 | /// - Returns: A computation that defers the execution of the provided value.
149 | static func delayOrRaise<A>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
150 | _ queue: DispatchQueue,
151 | _ f: @escaping () -> Either<F.E, A>) -> Kind<F, A> {
[346/470] Compiling BowLaws ComonadEnvLaws.swift
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:18:62: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
16 | func dataTaskIO(with url: URL) -> DataIO {
17 | IO.async { callback in
18 | self.dataTask(with: url, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
19 | }^
20 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:25:66: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
23 | func dataTaskIO(with request: URLRequest) -> DataIO {
24 | IO.async { callback in
25 | self.dataTask(with: request, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
26 | }^
27 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:34:66: warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
32 | func downloadTaskIO(with url: URL) -> DownloadIO {
33 | IO.async { callback in
34 | self.downloadTask(with: url, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
35 | }^
36 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:41:70: warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
39 | func downloadTaskIO(with request: URLRequest) -> DownloadIO {
40 | IO.async { callback in
41 | self.downloadTask(with: request, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
42 | }^
43 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:48:77: warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
46 | func downloadTaskIO(withResumeData data: Data) -> DownloadIO {
47 | IO.async { callback in
48 | self.downloadTask(withResumeData: data, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
49 | }^
50 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:59:80: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
57 | from data: Data) -> DataIO {
58 | IO.async { callback in
59 | self.uploadTask(with: request, from: data, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
60 | }^
61 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:68:83: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
66 | fromFile url: URL) -> DataIO {
67 | IO.async { callback in
68 | self.uploadTask(with: request, fromFile: url, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
69 | }^
70 | }
/host/spi-builder-workspace/Sources/BowEffects/Typeclasses/Async.swift:149:30: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
147 | /// - Parameter f: A function that provides a value or an error.
148 | /// - Returns: A computation that defers the execution of the provided value.
149 | static func delayOrRaise<A>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
150 | _ queue: DispatchQueue,
151 | _ f: @escaping () -> Either<F.E, A>) -> Kind<F, A> {
[347/470] Compiling BowLaws ContravariantLaws.swift
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:18:62: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
16 | func dataTaskIO(with url: URL) -> DataIO {
17 | IO.async { callback in
18 | self.dataTask(with: url, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
19 | }^
20 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:25:66: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
23 | func dataTaskIO(with request: URLRequest) -> DataIO {
24 | IO.async { callback in
25 | self.dataTask(with: request, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
26 | }^
27 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:34:66: warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
32 | func downloadTaskIO(with url: URL) -> DownloadIO {
33 | IO.async { callback in
34 | self.downloadTask(with: url, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
35 | }^
36 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:41:70: warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
39 | func downloadTaskIO(with request: URLRequest) -> DownloadIO {
40 | IO.async { callback in
41 | self.downloadTask(with: request, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
42 | }^
43 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:48:77: warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
46 | func downloadTaskIO(withResumeData data: Data) -> DownloadIO {
47 | IO.async { callback in
48 | self.downloadTask(withResumeData: data, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (URL?, URLResponse?, (any Error)?) -> Void' may introduce data races
49 | }^
50 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:59:80: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
57 | from data: Data) -> DataIO {
58 | IO.async { callback in
59 | self.uploadTask(with: request, from: data, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
60 | }^
61 | }
/host/spi-builder-workspace/Sources/BowEffects/Foundation/URLSession.swift:68:83: warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
66 | fromFile url: URL) -> DataIO {
67 | IO.async { callback in
68 | self.uploadTask(with: request, fromFile: url, completionHandler: self.onResponse(callback)).resume()
| `- warning: converting non-Sendable function value to '@Sendable (Data?, URLResponse?, (any Error)?) -> Void' may introduce data races
69 | }^
70 | }
/host/spi-builder-workspace/Sources/BowEffects/Typeclasses/Async.swift:149:30: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
147 | /// - Parameter f: A function that provides a value or an error.
148 | /// - Returns: A computation that defers the execution of the provided value.
149 | static func delayOrRaise<A>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
150 | _ queue: DispatchQueue,
151 | _ f: @escaping () -> Either<F.E, A>) -> Kind<F, A> {
[348/475] Compiling BowLaws EqualityFunctions.swift
[349/475] Compiling BowLaws HashableKLaws.swift
[350/475] Compiling BowLaws InvariantLaws.swift
[351/480] Compiling BowGeneric Coproduct9.swift
[352/480] Compiling BowOptics Tuple2.swift
[353/480] Compiling BowOptics Tuple3.swift
[354/480] Compiling BowOptics Tuple4.swift
[355/480] Compiling BowOptics Tuple5.swift
[356/480] Compiling BowOptics Tuple6.swift
[357/480] Compiling BowOptics Tuple7.swift
[358/480] Compiling BowOptics Tuple8.swift
[359/487] Compiling BowFreeGenerators Program+Gen.swift
/host/spi-builder-workspace/Tests/BowFreeGenerators/Program+Gen.swift:8:1: warning: extension declares a conformance of imported type 'ProgramPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
6 | // MARK: Instance of `ArbitraryK` for `Free`
7 |
8 | extension ProgramPartial: ArbitraryK where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'ProgramPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
9 | public static func generate<A: Arbitrary>() -> ProgramOf<F, A> {
10 | Program<F, A>.arbitrary.generate
/host/spi-builder-workspace/Tests/BowFreeGenerators/Program+Gen.swift:14:1: warning: extension declares a conformance of imported type 'Program' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
12 | }
13 |
14 | extension Program: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Program' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
15 | public static var arbitrary: Gen<Program<F, A>> {
16 | Free<CoyonedaPartial<F>, A>.arbitrary.map(Program.init)
[360/487] Emitting module BowFreeGenerators
/host/spi-builder-workspace/Tests/BowFreeGenerators/Cofree+Gen.swift:8:1: warning: extension declares a conformance of imported type 'CofreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
6 | // MARK: Instance of ArbitraryK for Cofree
7 |
8 | extension CofreePartial: ArbitraryK where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'CofreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
9 | public static func generate<A: Arbitrary>() -> CofreeOf<F, A> {
10 | Cofree.arbitrary.generate
/host/spi-builder-workspace/Tests/BowFreeGenerators/Cofree+Gen.swift:16:1: warning: extension declares a conformance of imported type 'Cofree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
14 | // MARK: Instance of Arbitrary for Cofree
15 |
16 | extension Cofree: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Cofree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
17 | public static var arbitrary: Gen<Cofree<F, A>> {
18 | Gen.zip(
/host/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:8:1: warning: extension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
6 | // MARK: Instance of `ArbitraryK` for `Free`
7 |
8 | extension FreePartial: ArbitraryK where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
9 | public static func generate<A: Arbitrary>() -> FreeOf<F, A> {
10 | Free<F, A>.arbitrary.generate
/host/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:14:1: warning: extension declares a conformance of imported type 'Free' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
12 | }
13 |
14 | extension Free: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Free' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
15 | public static var arbitrary: Gen<Free<F, A>> {
16 | let pureGen: Gen<Free<F, A>> = A.arbitrary.map(Free<F, A>.pure >>> Free.fix)
/host/spi-builder-workspace/Tests/BowFreeGenerators/Program+Gen.swift:8:1: warning: extension declares a conformance of imported type 'ProgramPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
6 | // MARK: Instance of `ArbitraryK` for `Free`
7 |
8 | extension ProgramPartial: ArbitraryK where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'ProgramPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
9 | public static func generate<A: Arbitrary>() -> ProgramOf<F, A> {
10 | Program<F, A>.arbitrary.generate
/host/spi-builder-workspace/Tests/BowFreeGenerators/Program+Gen.swift:14:1: warning: extension declares a conformance of imported type 'Program' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
12 | }
13 |
14 | extension Program: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Program' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
15 | public static var arbitrary: Gen<Program<F, A>> {
16 | Free<CoyonedaPartial<F>, A>.arbitrary.map(Program.init)
[361/487] Compiling BowFreeGenerators Cofree+Gen.swift
/host/spi-builder-workspace/Tests/BowFreeGenerators/Cofree+Gen.swift:8:1: warning: extension declares a conformance of imported type 'CofreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
6 | // MARK: Instance of ArbitraryK for Cofree
7 |
8 | extension CofreePartial: ArbitraryK where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'CofreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
9 | public static func generate<A: Arbitrary>() -> CofreeOf<F, A> {
10 | Cofree.arbitrary.generate
/host/spi-builder-workspace/Tests/BowFreeGenerators/Cofree+Gen.swift:16:1: warning: extension declares a conformance of imported type 'Cofree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
14 | // MARK: Instance of Arbitrary for Cofree
15 |
16 | extension Cofree: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Cofree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
17 | public static var arbitrary: Gen<Cofree<F, A>> {
18 | Gen.zip(
[362/487] Compiling BowFreeGenerators Free+Gen.swift
/host/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:8:1: warning: extension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
6 | // MARK: Instance of `ArbitraryK` for `Free`
7 |
8 | extension FreePartial: ArbitraryK where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
9 | public static func generate<A: Arbitrary>() -> FreeOf<F, A> {
10 | Free<F, A>.arbitrary.generate
/host/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:14:1: warning: extension declares a conformance of imported type 'Free' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
12 | }
13 |
14 | extension Free: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Free' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
15 | public static var arbitrary: Gen<Free<F, A>> {
16 | let pureGen: Gen<Free<F, A>> = A.arbitrary.map(Free<F, A>.pure >>> Free.fix)
[364/488] Emitting module BowLaws
[365/493] Compiling BowLaws BimonadLaws.swift
[369/493] Compiling BowLaws CustomStringConvertibleLaws.swift
[370/493] Compiling BowLaws DivideLaws.swift
[371/493] Compiling BowLaws DivisibleLaws.swift
[373/493] Emitting module BowOptics
[374/493] Compiling BowLaws ComonadLaws.swift
[375/493] Compiling BowLaws ComonadStoreLaws.swift
[376/493] Compiling BowLaws ComonadTracedLaws.swift
[377/493] Compiling BowLaws ComonadTransLaws.swift
[378/493] Compiling BowLaws ComparableLaws.swift
[379/493] Compiling BowLaws AlternativeLaws.swift
[380/493] Compiling BowLaws ApplicativeErrorLaws.swift
[381/493] Compiling BowLaws ApplicativeLaws.swift
[382/493] Emitting module BowGeneric
[385/493] Compiling BowLaws MonoidLaws.swift
[386/493] Compiling BowLaws MonoidalLaws.swift
[387/493] Compiling BowLaws PropertyOperatorOverload.swift
[388/493] Compiling BowLaws SelectiveLaws.swift
[389/493] Compiling BowLaws SemigroupKLaws.swift
/host/spi-builder-workspace/Sources/BowEffects/Data/Internal/Queue.swift:51:34: warning: passing non-Sendable parameter 'work' to function expecting a '@Sendable' closure
46 |
47 | // MARK: operations
48 | func async(execute work: @escaping () -> Void) {
| `- note: parameter 'work' is implicitly non-Sendable
49 | switch queue {
50 | case ._queue(let queue):
51 | queue.async(execute: work)
| `- warning: passing non-Sendable parameter 'work' to function expecting a '@Sendable' closure
52 | default:
53 | fatalError("can not execute async work in current queue")
/host/spi-builder-workspace/Sources/BowEffects/Data/Internal/Queue.swift:51:34: warning: passing non-Sendable parameter 'work' to function expecting a '@Sendable' closure
46 |
47 | // MARK: operations
48 | func async(execute work: @escaping () -> Void) {
| `- note: parameter 'work' is implicitly non-Sendable
49 | switch queue {
50 | case ._queue(let queue):
51 | queue.async(execute: work)
| `- warning: passing non-Sendable parameter 'work' to function expecting a '@Sendable' closure
52 | default:
53 | fatalError("can not execute async work in current queue")
/host/spi-builder-workspace/Sources/BowEffects/Data/Internal/Queue.swift:51:34: warning: passing non-Sendable parameter 'work' to function expecting a '@Sendable' closure
46 |
47 | // MARK: operations
48 | func async(execute work: @escaping () -> Void) {
| `- note: parameter 'work' is implicitly non-Sendable
49 | switch queue {
50 | case ._queue(let queue):
51 | queue.async(execute: work)
| `- warning: passing non-Sendable parameter 'work' to function expecting a '@Sendable' closure
52 | default:
53 | fatalError("can not execute async work in current queue")
/host/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:725:36: warning: will never be executed
723 | Schedule(
724 | initial: EnvIO.never()^,
725 | extract: { _, never in never },
| | `- warning: will never be executed
| `- note: '$return_value' is of type 'Never' which cannot be constructed because it is an enum with no cases
726 | update: { _, _ in EnvIO.never()^ })
727 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:726:31: warning: will never be executed
724 | initial: EnvIO.never()^,
725 | extract: { _, never in never },
726 | update: { _, _ in EnvIO.never()^ })
| | `- warning: will never be executed
| `- note: '_' is of type 'Never' which cannot be constructed because it is an enum with no cases
727 | }
728 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:725:36: warning: will never be executed
723 | Schedule(
724 | initial: EnvIO.never()^,
725 | extract: { _, never in never },
| | `- warning: will never be executed
| `- note: '$return_value' is of type 'Never' which cannot be constructed because it is an enum with no cases
726 | update: { _, _ in EnvIO.never()^ })
727 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:726:31: warning: will never be executed
724 | initial: EnvIO.never()^,
725 | extract: { _, never in never },
726 | update: { _, _ in EnvIO.never()^ })
| | `- warning: will never be executed
| `- note: '_' is of type 'Never' which cannot be constructed because it is an enum with no cases
727 | }
728 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:725:36: warning: will never be executed
723 | Schedule(
724 | initial: EnvIO.never()^,
725 | extract: { _, never in never },
| | `- warning: will never be executed
| `- note: '$return_value' is of type 'Never' which cannot be constructed because it is an enum with no cases
726 | update: { _, _ in EnvIO.never()^ })
727 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:726:31: warning: will never be executed
724 | initial: EnvIO.never()^,
725 | extract: { _, never in never },
726 | update: { _, _ in EnvIO.never()^ })
| | `- warning: will never be executed
| `- note: '_' is of type 'Never' which cannot be constructed because it is an enum with no cases
727 | }
728 | }
[401/494] Compiling BowLaws MonadCombineLaws.swift
[402/494] Compiling BowLaws MonadErrorLaws.swift
[403/494] Compiling BowLaws MonadFilterLaws.swift
[404/494] Compiling BowLaws EquatableKLaws.swift
[405/494] Compiling BowLaws EquatableLaws.swift
[406/494] Compiling BowLaws FoldableLaws.swift
[412/494] Compiling BowOptics Tuple9.swift
[413/494] Compiling BowOptics At.swift
[414/494] Compiling BowOptics Cons.swift
[415/494] Compiling BowOptics Each.swift
[416/494] Compiling BowOptics FilterIndex.swift
[417/494] Compiling BowOptics Index.swift
[418/494] Compiling BowOptics Snoc.swift
[419/494] Compiling BowOptics Result+Optics.swift
[420/494] Compiling BowOptics String+Optics.swift
[421/494] Compiling BowOptics Try+Optics.swift
[422/494] Compiling BowOptics Validated+Optics.swift
[423/494] Compiling BowOptics Setter.swift
[424/494] Compiling BowOptics Traversal.swift
[425/494] Compiling BowOptics Tuple10.swift
[431/494] Compiling BowLaws SemigroupLaws.swift
[432/494] Compiling BowLaws SemigroupalLaws.swift
[433/494] Compiling BowLaws FunctorFilterLaws.swift
[434/494] Compiling BowLaws FunctorLaws.swift
[435/494] Compiling BowLaws MonadLaws.swift
[436/494] Compiling BowLaws MonadStateLaws.swift
[437/494] Compiling BowLaws MonadTransLaws.swift
[438/494] Compiling BowLaws MonadWriterLaws.swift
[439/494] Compiling BowLaws MonoidKLaws.swift
/host/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:116:30: warning: will never be executed
114 |
115 | return policy.initial
116 | .mapError { x in x as! E }
| | `- warning: will never be executed
| `- note: 'x' is of type 'Never' which cannot be constructed because it is an enum with no cases
117 | .flatMap(loop)^
118 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:164:34: warning: will never be executed
162 | { e in orElse(e, nil).map(Either.left)^ },
163 | { a in policy.initial
164 | .mapError { x in x as! E }
| | `- warning: will never be executed
| `- note: 'x' is of type 'Never' which cannot be constructed because it is an enum with no cases
165 | .flatMap { s in loop(a, s) }^ })
166 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:116:30: warning: will never be executed
114 |
115 | return policy.initial
116 | .mapError { x in x as! E }
| | `- warning: will never be executed
| `- note: 'x' is of type 'Never' which cannot be constructed because it is an enum with no cases
117 | .flatMap(loop)^
118 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:164:34: warning: will never be executed
162 | { e in orElse(e, nil).map(Either.left)^ },
163 | { a in policy.initial
164 | .mapError { x in x as! E }
| | `- warning: will never be executed
| `- note: 'x' is of type 'Never' which cannot be constructed because it is an enum with no cases
165 | .flatMap { s in loop(a, s) }^ })
166 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:116:30: warning: will never be executed
114 |
115 | return policy.initial
116 | .mapError { x in x as! E }
| | `- warning: will never be executed
| `- note: 'x' is of type 'Never' which cannot be constructed because it is an enum with no cases
117 | .flatMap(loop)^
118 | }
/host/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:164:34: warning: will never be executed
162 | { e in orElse(e, nil).map(Either.left)^ },
163 | { a in policy.initial
164 | .mapError { x in x as! E }
| | `- warning: will never be executed
| `- note: 'x' is of type 'Never' which cannot be constructed because it is an enum with no cases
165 | .flatMap { s in loop(a, s) }^ })
166 | }
[459/498] Emitting module BowEffectsGenerators
/host/spi-builder-workspace/Tests/BowEffectsGenerators/IO+Gen.swift:8:1: warning: extension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future
6 | // MARK: Instance of `ArbitraryK` for `IO`
7 |
8 | extension IOPartial: ArbitraryK where E: Arbitrary {
| |- warning: extension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
9 | public static func generate<A: Arbitrary>() -> Kind<IOPartial<E>, A> {
10 | let success = IO<E, A>.pure(A.arbitrary.generate)
[460/498] Compiling BowEffectsGenerators IO+Gen.swift
/host/spi-builder-workspace/Tests/BowEffectsGenerators/IO+Gen.swift:8:1: warning: extension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future
6 | // MARK: Instance of `ArbitraryK` for `IO`
7 |
8 | extension IOPartial: ArbitraryK where E: Arbitrary {
| |- warning: extension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
9 | public static func generate<A: Arbitrary>() -> Kind<IOPartial<E>, A> {
10 | let success = IO<E, A>.pure(A.arbitrary.generate)
[479/499] Compiling BowLaws SemiringLaws.swift
[480/499] Compiling BowLaws TraverseFilterLaws.swift
[481/499] Compiling BowLaws TraverseLaws.swift
[483/511] Compiling BowOpticsLaws PrismLaws.swift
[484/511] Compiling BowOpticsLaws SetterLaws.swift
[485/511] Compiling BowOpticsLaws TraversalLaws.swift
[486/511] Emitting module BowEffectsLaws
[487/511] Compiling BowEffectsLaws MonadDeferLaws.swift
[488/511] Compiling BowOpticsLaws AffineTraversalLaws.swift
[489/511] Compiling BowOpticsLaws IsoLaws.swift
[490/511] Compiling BowOpticsLaws LensLaws.swift
[491/511] Emitting module BowOpticsLaws
[493/512] Compiling BowEffectsLaws BracketLaws.swift
[494/512] Compiling BowEffectsLaws AsyncLaws.swift
[496/513] Compiling RxSwift SynchronizedUnsubscribeType.swift
[497/513] Compiling RxSwift TailRecursiveSink.swift
[498/513] Compiling RxSwift Take.swift
[499/513] Compiling RxSwift TakeLast.swift
[500/513] Compiling RxSwift TakeUntil.swift
[501/513] Compiling RxSwift TakeWhile.swift
[502/513] Compiling RxSwift Throttle.swift
[503/513] Compiling RxSwift Timeout.swift
[504/513] Compiling RxSwift Timer.swift
[505/513] Compiling RxSwift ToArray.swift
[506/513] Compiling RxSwift Using.swift
[507/513] Compiling RxSwift VirtualTimeConverterType.swift
[508/513] Compiling RxSwift VirtualTimeScheduler.swift
[509/513] Compiling RxSwift Window.swift
[510/513] Compiling RxSwift WithLatestFrom.swift
[511/513] Compiling RxSwift Zip+Collection.swift
[512/513] Compiling RxSwift Zip+arity.swift
[513/513] Compiling RxSwift Zip.swift
BUILD FAILURE 6.2 linux