Swift Package IndexBuild Information
Failed to build SwiftPropertyLaws, reference v4.11.0 (a5ecda), with Swift 6.1 for Android on 31 Oct 2026 22:24:50 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-53886769-2":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/saguaro1/spi-images:android-6.1-latest swift build --swift-sdk aarch64-unknown-linux-android24 2>&1Build Log
| `- warning: 'string' is deprecated: Use `URL` type instead of `Path`.
70 | }
71 |
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:119:26: warning: 'path' is deprecated: renamed to 'url'
117 | guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
118 | return sourceModuleTarget.sourceFiles
119 | .filter { $0.path.extension == "swift" }
| |- warning: 'path' is deprecated: renamed to 'url'
| `- note: use 'url' instead
120 | .map { $0.path.string }
121 | .sorted()
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:119:31: warning: 'extension' is deprecated: Use `URL` type instead of `Path`.
117 | guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
118 | return sourceModuleTarget.sourceFiles
119 | .filter { $0.path.extension == "swift" }
| `- warning: 'extension' is deprecated: Use `URL` type instead of `Path`.
120 | .map { $0.path.string }
121 | .sorted()
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:120:23: warning: 'path' is deprecated: renamed to 'url'
118 | return sourceModuleTarget.sourceFiles
119 | .filter { $0.path.extension == "swift" }
120 | .map { $0.path.string }
| |- warning: 'path' is deprecated: renamed to 'url'
| `- note: use 'url' instead
121 | .sorted()
122 | }
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:120:28: warning: 'string' is deprecated: Use `URL` type instead of `Path`.
118 | return sourceModuleTarget.sourceFiles
119 | .filter { $0.path.extension == "swift" }
120 | .map { $0.path.string }
| `- warning: 'string' is deprecated: Use `URL` type instead of `Path`.
121 | .sorted()
122 | }
[1/1] Compiling plugin PropertyLawDiscoveryPlugin
Building for debugging...
[1/41] Write swift-version-24593BA9C3E375BF.txt
[3/126] Compiling SwiftSyntax603 Empty.swift
[4/169] Emitting module SwiftSyntax603
[5/169] Compiling SwiftSyntax603 Empty.swift
[6/169] Emitting module SwiftSyntax603
[7/171] Compiling RealModule RealFunctions.swift
[9/173] Compiling PropertyBased GeneratorError.swift
[10/173] Compiling PropertyBased IssueCounting.swift
[12/175] Compiling RealModule Real.swift
[13/175] Compiling RealModule Float80+Real.swift
[15/173] Compiling PropertyBased Gen+Color.swift
[16/173] Compiling PropertyBased Gen+Date.swift
[17/173] Compiling RealModule RelaxedArithmetic.swift
[18/173] Compiling RealModule Real.swift
[19/173] Emitting module PropertyLawCore
[20/175] Compiling PropertyBased MaximumAttemptsTrait.swift
[21/175] Compiling PropertyBased Mutex.swift
[22/175] Compiling RealModule RelaxedArithmetic.swift
[25/177] Compiling RealModule Float80+Real.swift
[26/177] Compiling PropertyBased Gen+Duration.swift
[27/177] Compiling PropertyBased Gen+Float.swift
[28/177] Compiling RealModule Float16+Real.swift
[31/179] Compiling PropertyBased Gen+Frequency.swift
[32/179] Compiling PropertyBased Gen+Int.swift
[33/179] Compiling RealModule Float16+Real.swift
[36/179] Compiling SwiftSyntax602 Empty.swift
[42/179] Emitting module SwiftSyntax602
[43/179] Compiling PropertyBased FixedSeedTrait.swift
[44/179] Compiling PropertyBased Gen+Collection.swift
[45/180] Compiling PropertyBased Generator.swift
[49/180] Emitting module SwiftSyntax602
[50/181] Compiling PropertyBased ClosedIntegerRange.swift
[51/181] Compiling PropertyBased Date+String.swift
[52/181] Compiling PropertyBased EnableShrinkTrait.swift
[57/181] Compiling PropertyBased Shrink+Float.swift
[58/181] Compiling PropertyBased Shrink+Integer.swift
[59/181] Compiling PropertyBased Shrink+MutableCollection.swift
[60/181] Compiling PropertyBased Shrink+Optional.swift
[61/181] Emitting module RealModule
[63/185] Compiling PropertyBased Gen+SIMD.swift
[64/185] Compiling PropertyBased Gen+String.swift
[65/185] Compiling PropertyBased Gen.swift
[66/185] Emitting module PropertyLawCore
[83/185] Compiling PropertyBased Shrink+Appended.swift
[84/185] Compiling PropertyBased Shrink+Bitset.swift
[85/185] Compiling PropertyBased Shrink+Collection.swift
[86/185] Compiling PropertyBased Shrink+Date.swift
[97/189] Compiling PropertyLawCore TodoReason.swift
[98/189] Compiling PropertyLawCore TypeShape.swift
[103/194] Emitting module SwiftSyntax601
[104/194] Compiling SwiftSyntax601 Empty.swift
[110/201] Emitting module SwiftSyntax601
[111/202] Compiling SwiftSyntax600 Empty.swift
[117/202] Emitting module SwiftSyntax600
[118/202] Compiling SwiftSyntax600 Empty.swift
[119/203] Compiling SwiftSyntax510 Empty.swift
[120/203] Emitting module SwiftSyntax600
[124/204] Emitting module SwiftSyntax510
[137/204] Compiling PropertyBased SeededRandomNumberGenerator.swift
[148/203] Compiling SwiftSyntax510 Empty.swift
[149/203] Emitting module SwiftSyntax510
[152/240] Emitting module SwiftSyntax509
[153/242] Compiling InternalCollectionsUtilities String+Padding.swift
[154/242] Compiling InternalCollectionsUtilities _UnsafeBitSet+Index.swift
[155/242] Compiling InternalCollectionsUtilities _UnsafeBitSet+_Word.swift
[156/242] Compiling InternalCollectionsUtilities _UnsafeBitSet.swift
[161/242] Compiling InternalCollectionsUtilities UnsafeBufferPointer+Extras.swift
[162/242] Compiling InternalCollectionsUtilities UnsafeMutableBufferPointer+Extras.swift
[163/242] Compiling InternalCollectionsUtilities UnsafeMutableRawBufferPointer+Extras.swift
[164/242] Compiling InternalCollectionsUtilities UnsafeRawBufferPointer+Extras.swift
[166/242] Emitting module PropertyBased
[167/242] Compiling SwiftSyntax509 Empty.swift
[170/245] Emitting module SwiftSyntax509
[171/245] Compiling SwiftSyntax509 Empty.swift
[173/250] Compiling InternalCollectionsUtilities Debugging.swift
[174/250] Compiling InternalCollectionsUtilities Descriptions.swift
[175/250] Compiling InternalCollectionsUtilities FixedWidthInteger+roundUpToPowerOfTwo.swift
[176/250] Emitting module PropertyBased
[179/256] Compiling InternalCollectionsUtilities _SortedCollection.swift
[180/256] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[182/268] Compiling PropertyBased Shrink+Tuple.swift
[183/268] Compiling PropertyBased Shrink.swift
[184/268] Compiling PropertyBased Xoshiro.swift
[185/268] Compiling PropertyBased Zip.swift
[186/274] Wrapping AST for PropertyLawCore for debugging
[188/332] Compiling SwiftSyntax Assert.swift
[189/332] Compiling SwiftSyntax BumpPtrAllocator.swift
[190/332] Compiling SwiftSyntax CommonAncestor.swift
[191/332] Compiling SwiftSyntax AbsolutePosition.swift
[192/332] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[193/332] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[194/332] Compiling SwiftSyntax SyntaxIdentifier.swift
[195/332] Compiling SwiftSyntax ChildNameForKeyPath.swift
[196/338] Compiling ComplexModule Complex+StringConvertible.swift
[197/346] Compiling ComplexModule Polar.swift
[198/400] Compiling SwiftSyntax BumpPtrAllocator.swift
[199/400] Compiling SwiftSyntax CommonAncestor.swift
[200/435] Compiling SwiftSyntax RawSyntaxArena.swift
[201/436] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[202/467] Compiling SwiftSyntax Convenience.swift
[203/467] Compiling SwiftSyntax CustomTraits.swift
[204/468] Compiling ComplexModule Complex+StringConvertible.swift
[205/468] Compiling ComplexModule Complex+Numeric.swift
[206/468] Compiling ComplexModule Complex.swift
[208/483] Compiling ComplexModule Polar.swift
[209/490] Compiling ComplexModule Complex+Numeric.swift
[212/490] Compiling SwiftSyntax SyntaxTreeViewMode.swift
[213/490] Compiling SwiftSyntax TokenDiagnostic.swift
[214/490] Compiling SwiftSyntax TokenSequence.swift
[215/490] Compiling SwiftSyntax TokenSyntax.swift
[216/491] Compiling ComplexModule Scale.swift
[219/491] Emitting module ComplexModule
[220/491] Compiling SwiftSyntax AbsolutePosition.swift
[221/491] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[222/491] Compiling SwiftSyntax Identifier.swift
[223/491] Compiling SwiftSyntax MemoryLayout.swift
[224/491] Compiling SwiftSyntax MissingNodeInitializers.swift
[225/491] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[226/491] Compiling SwiftSyntax Assert.swift
[227/491] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[228/491] Compiling SwiftSyntax RawSyntaxTokenView.swift
[229/491] Compiling SwiftSyntax SourceEdit.swift
[230/491] Compiling SwiftSyntax RawSyntax.swift
[233/491] Emitting module InternalCollectionsUtilities
[239/493] Emitting module PropertyLawKit
[251/600] Emitting module ComplexModule
[253/665] Compiling HeapModule Heap+Invariants.swift
[254/665] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[255/689] Compiling HeapModule Heap+Descriptions.swift
[256/724] Compiling HeapModule _HeapNode.swift
[257/724] Compiling HeapModule Heap.swift
[258/724] Compiling HeapModule Heap+UnsafeHandle.swift
[259/724] Compiling PropertyLawKit StableIdentity.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[260/724] Compiling PropertyLawKit StableIdentityLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[261/724] Compiling PropertyLawKit StatefulGuard.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[262/724] Compiling PropertyLawKit StdlibGenerators.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[263/724] Compiling PropertyLawKit StrictWeakOrderingLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[264/724] Compiling PropertyLawKit StrictWeakOrderingVacuity.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[265/724] Compiling PropertyLawKit StrideableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[266/724] Compiling PropertyLawKit StringProtocolLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[267/724] Compiling PropertyLawKit TransformationFunctionLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[268/724] Compiling PropertyLawKit TransformationLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[269/724] Compiling PropertyLawKit UnsignedIntegerLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[270/724] Compiling PropertyLawKit ValueSemantic.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[271/724] Compiling PropertyLawKit ValueSemanticLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[272/724] Emitting module PropertyLawComplex
[273/724] Emitting module HeapModule
[274/725] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[277/726] Compiling OrderedCollections OrderedSet+Partial SetAlgebra+Basics.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[278/726] Compiling OrderedCollections OrderedSet+RandomAccessCollection.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[279/726] Compiling OrderedCollections OrderedSet+ReserveCapacity.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[280/726] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[281/726] Compiling PropertyLawKit FloatingPointCommutativityLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[282/726] Compiling PropertyLawKit FloatingPointLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[283/726] Compiling PropertyLawKit FoundationGenerators.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[284/726] Compiling PropertyLawKit Group.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[285/726] Compiling PropertyLawKit GroupLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[286/726] Compiling PropertyLawKit HashableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[287/726] Compiling PropertyLawKit IdentifiableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[288/726] Compiling PropertyLawKit InteractionInvariant.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[289/726] Compiling PropertyLawKit InteractionInvariantLaws+Async.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[290/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSuperset.swift
[291/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtract.swift
[292/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtracting.swift
[293/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra symmetricDifference.swift
[294/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra union.swift
[298/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formSymmetricDifference.swift
[299/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formUnion.swift
[300/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra intersection.swift
[301/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isDisjoint.swift
[302/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isEqualSet.swift
[303/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSubset.swift
[304/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSuperset.swift
[305/739] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSubset.swift
[306/746] Emitting module PropertyLawKit
[307/746] Compiling OrderedCollections _HashTable+Bucket.swift
[308/746] Compiling OrderedCollections _HashTable+BucketIterator.swift
[309/746] Compiling OrderedCollections _HashTable+Constants.swift
[310/746] Compiling OrderedCollections _HashTable+CustomStringConvertible.swift
[311/746] Compiling OrderedCollections _HashTable+Testing.swift
[312/746] Compiling OrderedCollections _HashTable+UnsafeHandle.swift
[313/746] Compiling OrderedCollections _HashTable.swift
[314/746] Compiling OrderedCollections _Hashtable+Header.swift
[331/760] Compiling OrderedCollections OrderedDictionary+Codable.swift
[332/760] Compiling OrderedCollections OrderedDictionary+CustomReflectable.swift
[333/760] Compiling OrderedCollections OrderedDictionary+Deprecations.swift
[334/760] Compiling OrderedCollections OrderedDictionary+Descriptions.swift
[335/760] Compiling OrderedCollections OrderedDictionary+Elements.SubSequence.swift
[336/760] Compiling OrderedCollections OrderedDictionary+Elements.swift
[337/760] Compiling OrderedCollections OrderedDictionary+Equatable.swift
[338/760] Compiling OrderedCollections OrderedDictionary+ExpressibleByDictionaryLiteral.swift
[339/762] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[340/762] Compiling HeapModule Heap+Invariants.swift
[341/762] Compiling HeapModule Heap+Descriptions.swift
[342/762] Compiling OrderedCollections OrderedDictionary+Hashable.swift
[343/762] Compiling OrderedCollections OrderedDictionary+Initializers.swift
[344/762] Compiling OrderedCollections OrderedDictionary+Invariants.swift
[345/762] Compiling OrderedCollections OrderedDictionary+Move.swift
[346/762] Compiling OrderedCollections OrderedDictionary+Partial MutableCollection.swift
[347/762] Compiling OrderedCollections OrderedDictionary+Partial RangeReplaceableCollection.swift
[348/762] Compiling OrderedCollections OrderedDictionary+Sendable.swift
[349/762] Compiling OrderedCollections OrderedDictionary+Sequence.swift
[358/762] Emitting module PropertyLawComplex
[359/762] Compiling HeapModule _HeapNode.swift
[360/762] Compiling HeapModule Heap.swift
[361/762] Compiling HeapModule Heap+UnsafeHandle.swift
[362/762] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[372/771] Emitting module HeapModule
[374/772] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[375/772] Compiling PropertyLawKit Ring.swift
[376/772] Compiling PropertyLawKit RingLaws.swift
[377/772] Compiling PropertyLawKit SameResult.swift
[378/772] Compiling PropertyLawKit Semigroup.swift
[379/772] Compiling PropertyLawKit SemigroupLaws.swift
[380/772] Compiling PropertyLawKit Semilattice.swift
[381/772] Compiling PropertyLawKit SemilatticeLaws.swift
[382/772] Compiling PropertyLawKit SequenceLaws.swift
[383/772] Compiling PropertyLawKit SetAlgebraLaws+BooleanAlgebra.swift
[384/772] Compiling PropertyLawKit SetAlgebraLaws.swift
[385/772] Compiling PropertyLawKit SignedIntegerLaws.swift
[386/772] Compiling PropertyLawKit SignedNumericLaws.swift
[396/772] Compiling OrderedCollections OrderedDictionary+Values.swift
[397/772] Compiling OrderedCollections OrderedDictionary.swift
[398/772] Compiling OrderedCollections OrderedSet+Codable.swift
[399/772] Compiling OrderedCollections OrderedSet+CustomReflectable.swift
[400/772] Compiling OrderedCollections OrderedSet+Descriptions.swift
[401/772] Compiling OrderedCollections OrderedSet+Diffing.swift
[402/772] Compiling OrderedCollections OrderedSet+Equatable.swift
[403/772] Compiling OrderedCollections OrderedSet+ExpressibleByArrayLiteral.swift
[404/772] Compiling OrderedCollections OrderedSet+Hashable.swift
[405/772] Compiling OrderedCollections OrderedSet+Initializers.swift
[406/772] Compiling OrderedCollections OrderedSet+Insertions.swift
[407/772] Compiling OrderedCollections OrderedSet+Invariants.swift
[408/772] Compiling OrderedCollections OrderedSet+Move.swift
[409/772] Compiling OrderedCollections OrderedSet+Partial MutableCollection.swift
[410/772] Compiling OrderedCollections OrderedSet+Partial RangeReplaceableCollection.swift
[411/772] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formIntersection.swift
[412/772] Compiling PropertyLawKit StableIdentity.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[413/772] Compiling PropertyLawKit StableIdentityLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[414/772] Compiling PropertyLawKit StatefulGuard.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[415/772] Compiling PropertyLawKit StdlibGenerators.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[416/772] Compiling PropertyLawKit StrictWeakOrderingLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[417/772] Compiling PropertyLawKit StrictWeakOrderingVacuity.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[418/772] Compiling PropertyLawKit StrideableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[419/772] Compiling PropertyLawKit StringProtocolLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[420/772] Compiling PropertyLawKit TransformationFunctionLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[421/772] Compiling PropertyLawKit TransformationLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[422/772] Compiling PropertyLawKit UnsignedIntegerLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[423/772] Compiling PropertyLawKit ValueSemantic.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[424/772] Compiling PropertyLawKit ValueSemanticLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:30:21: error: 'frequency' is unavailable
28 | /// the engine's RNG.
29 | public static func unicodeScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
30 | Gen<UInt32>.frequency(
| `- error: 'frequency' is unavailable
31 | // ASCII — what most code is written and tested against.
32 | (4.0, Gen<UInt32>.uint32(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:100:20: error: 'frequency' is unavailable
98 |
99 | public static func asciiScalar() -> Generator<Unicode.Scalar, some SendableSequenceType> {
100 | Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
101 | // Printable ASCII — space through `~`. What most code is written against.
102 | (6.0, Gen<UInt8>.uint8(in: 0x20 ... 0x7E)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:107:30: error: 'frequency' is unavailable
105 | // `compactMap` back to non-optional would be three lines saying what
106 | // three equal-weight `always`es say plainly.
107 | (2.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
108 | (1.0, Gen<UInt8>.always(0x09)),
109 | (1.0, Gen<UInt8>.always(0x0A)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StdlibGenerators.swift:114:30: error: 'frequency' is unavailable
112 | // The rest of the control range, plus DEL. NUL is in here, which is what
113 | // makes this generator able to find a C-string truncation bug.
114 | (1.0, Gen<UInt8>.frequency(
| `- error: 'frequency' is unavailable
115 | (1.0, Gen<UInt8>.uint8(in: 0x00 ... 0x08)),
116 | (1.0, Gen<UInt8>.uint8(in: 0x0B ... 0x1F)),
/host/spi-builder-workspace/.build/checkouts/swift-property-based/Sources/PropertyBased/Gen+Frequency.swift:172:24: note: 'frequency' was introduced in Swift 6.2
170 | @available(swift 6.2)
171 | @_disfavoredOverload
172 | public static func frequency<each Seq: Sequence>(
| `- note: 'frequency' was introduced in Swift 6.2
173 | _ generators: repeat (weight: FloatLiteralType, gen: Generator<Value, each Seq>)
174 | )
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[425/772] Compiling SwiftSyntax SyntaxNodesJKLMN.swift
[426/772] Compiling SwiftSyntax SyntaxNodesOP.swift
[427/772] Compiling SwiftSyntax SyntaxNodesQRS.swift
[428/772] Compiling SwiftSyntax SyntaxNodesTUVWXYZ.swift
[429/772] Compiling PropertyLawKit Monoid.swift
[430/772] Compiling PropertyLawKit MonoidLaws.swift
[431/772] Compiling PropertyLawKit MutableCollectionLaws.swift
[432/772] Compiling PropertyLawKit NumericGenerators.swift
[433/772] Compiling PropertyLawKit NumericLaws.swift
[434/772] Compiling PropertyLawKit PropertyBackend.swift
[435/772] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[436/772] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[437/772] Compiling PropertyLawKit RawRepresentableLaws.swift
[475/827] Compiling OrderedCollections OrderedSet+Sendable.swift
[476/827] Compiling OrderedCollections OrderedSet+SubSequence.swift
[477/827] Compiling OrderedCollections OrderedSet+Testing.swift
[478/827] Compiling OrderedCollections OrderedSet+UnorderedView.swift
[479/827] Compiling OrderedCollections OrderedSet+UnstableInternals.swift
[480/827] Compiling OrderedCollections OrderedSet.swift
[481/827] Compiling SwiftSyntax SyntaxNodesC.swift
[482/924] Compiling HashTreeCollections TreeSet+Codable.swift
[483/924] Compiling HashTreeCollections TreeSet+Collection.swift
[484/924] Compiling HashTreeCollections TreeSet+CustomReflectable.swift
[485/924] Compiling HashTreeCollections TreeSet+Debugging.swift
[486/924] Compiling HashTreeCollections TreeSet+Descriptions.swift
[487/924] Compiling HashTreeCollections TreeSet+Equatable.swift
[488/924] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.swift
[489/924] Compiling HashTreeCollections TreeDictionary+Sequence.swift
[490/924] Compiling HashTreeCollections TreeDictionary+Values.swift
[491/924] Compiling HashTreeCollections TreeDictionary.swift
[499/924] Compiling HashTreeCollections TreeSet+Extras.swift
[500/924] Compiling HashTreeCollections TreeSet+Filter.swift
[501/924] Compiling HashTreeCollections TreeSet+Hashable.swift
[502/924] Compiling HashTreeCollections _HashNode+Structural union.swift
[503/924] Compiling HashTreeCollections _HashNode+Subtree Insertions.swift
[504/924] Compiling HashTreeCollections _HashNode+Subtree Modify.swift
[505/924] Compiling HashTreeCollections _HashNode+Subtree Removals.swift
[506/924] Compiling HashTreeCollections _HashNode+UnsafeHandle.swift
[507/924] Compiling HashTreeCollections _HashNode.swift
[508/924] Compiling HashTreeCollections _HashNodeHeader.swift
[509/924] Compiling HashTreeCollections _HashSlot.swift
[510/924] Compiling HashTreeCollections _HashStack.swift
[511/924] Compiling HashTreeCollections _AncestorHashSlots.swift
[512/924] Compiling HashTreeCollections _Bitmap.swift
[513/924] Compiling HashTreeCollections _Bucket.swift
[514/924] Compiling HashTreeCollections _Hash.swift
[515/924] Compiling HashTreeCollections _HashLevel.swift
[516/924] Compiling HashTreeCollections _HashNode+Primitive Removals.swift
[517/924] Compiling HashTreeCollections _HashNode+Primitive Replacement.swift
[518/924] Compiling HashTreeCollections _HashNode+Storage.swift
[519/924] Compiling HashTreeCollections _HashNode+Structural compactMapValues.swift
[520/924] Compiling HashTreeCollections _HashNode+Structural filter.swift
[521/924] Compiling HashTreeCollections _HashNode+Structural intersection.swift
[522/924] Compiling HashTreeCollections _HashNode+Structural isDisjoint.swift
[523/924] Compiling HashTreeCollections _HashNode+Structural isEqualSet.swift
[524/924] Compiling HashTreeCollections _HashNode+Structural isSubset.swift
[525/924] Compiling HashTreeCollections _HashNode+Structural mapValues.swift
[526/924] Compiling HashTreeCollections _HashNode+Structural merge.swift
[527/924] Compiling HashTreeCollections _HashNode+Structural subtracting.swift
[528/924] Compiling HashTreeCollections _HashNode+Structural symmetricDifference.swift
[542/924] Compiling HashTreeCollections _HashNode+Builder.swift
[543/924] Compiling HashTreeCollections _HashNode+Debugging.swift
[544/924] Compiling HashTreeCollections _HashNode+Initializers.swift
[545/924] Compiling HashTreeCollections _HashNode+Invariants.swift
[546/924] Compiling HashTreeCollections _HashNode+Lookups.swift
[547/924] Compiling HashTreeCollections _HashNode+Primitive Insertions.swift
[548/924] Compiling HashTreeCollections _HashTreeIterator.swift
[549/924] Compiling HashTreeCollections _HashTreeStatistics.swift
[550/924] Compiling HashTreeCollections _RawHashNode+UnsafeHandle.swift
[551/924] Compiling HashTreeCollections _RawHashNode.swift
[552/924] Compiling HashTreeCollections _UnmanagedHashNode.swift
[553/924] Compiling HashTreeCollections _UnsafePath.swift
[554/924] Compiling HashTreeCollections TreeDictionary+Codable.swift
[569/924] Compiling HashTreeCollections TreeDictionary+Collection.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[570/924] Compiling HashTreeCollections TreeDictionary+CustomReflectable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[571/924] Compiling HashTreeCollections TreeDictionary+Debugging.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[572/924] Compiling HashTreeCollections TreeDictionary+Descriptions.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[573/924] Compiling HashTreeCollections TreeDictionary+Equatable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[574/924] Compiling HashTreeCollections TreeDictionary+ExpressibleByDictionaryLiteral.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[575/924] Compiling HashTreeCollections TreeDictionary+Filter.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[576/924] Compiling HashTreeCollections TreeDictionary+Hashable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[577/924] Compiling HashTreeCollections TreeDictionary+Initializers.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[578/924] Compiling HashTreeCollections TreeDictionary+Keys.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[579/924] Compiling HashTreeCollections TreeDictionary+MapValues.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[580/924] Compiling HashTreeCollections TreeDictionary+Merge.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[581/924] Compiling HashTreeCollections TreeDictionary+Sendable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[583/924] Compiling HashTreeCollections TreeSet+Sendable.swift
[584/924] Compiling HashTreeCollections TreeSet+Sequence.swift
[585/924] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[586/924] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[587/924] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[588/924] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[589/924] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[590/924] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[591/924] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
BUILD FAILURE 6.1 android