Swift Package IndexBuild Information
Failed to build SwiftPropertyLaws, reference main (9e774f), with Swift 6.1 for Android on 13 Oct 2026 02:17:48 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-53886768-0":/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
[122/382] Compiling SwiftSyntax MissingNodeInitializers.swift
[123/382] Compiling ComplexModule Complex+Numeric.swift
[124/383] Compiling SwiftSyntax SourceEdit.swift
[125/383] Compiling SwiftSyntax SourceLength.swift
[126/383] Compiling ComplexModule Polar.swift
[127/383] Compiling SwiftSyntax BumpPtrAllocator.swift
[128/383] Compiling SwiftSyntax CommonAncestor.swift
[129/383] Compiling SwiftSyntax Syntax.swift
[130/383] Compiling SwiftSyntax SyntaxChildren.swift
[131/383] Compiling SwiftSyntax SyntaxCollection.swift
[132/383] Compiling SwiftSyntax SyntaxHashable.swift
[133/387] Compiling ComplexModule Complex+StringConvertible.swift
[134/387] Compiling ComplexModule Complex.swift
[135/387] Compiling SwiftSyntax Assert.swift
[138/387] Compiling SwiftSyntax SyntaxIdentifier.swift
[139/387] Compiling SwiftSyntax ChildNameForKeyPath.swift
[140/387] Compiling SwiftSyntax Keyword.swift
[141/387] Compiling SwiftSyntax RenamedChildrenCompatibility.swift
[150/387] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[151/387] Compiling SwiftSyntax RawSyntaxTokenView.swift
[152/387] Compiling ComplexModule Complex+Numeric.swift
[153/388] Compiling SwiftSyntax AbsolutePosition.swift
[154/388] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[155/388] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[156/388] Compiling SwiftSyntax Convenience.swift
[157/388] Compiling SwiftSyntax CustomTraits.swift
[158/388] Compiling SwiftSyntax EditorPlaceholder.swift
[159/388] Compiling ComplexModule Polar.swift
[160/388] Compiling ComplexModule Complex+StringConvertible.swift
[161/388] Compiling ComplexModule Complex.swift
[164/388] Compiling ComplexModule Scale.swift
[165/388] Emitting module InternalCollectionsUtilities
[167/388] Compiling ComplexModule Scale.swift
[168/388] Compiling SwiftSyntax RawSyntax.swift
[169/388] Compiling SwiftSyntax RawSyntaxArena.swift
[170/388] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[172/388] Compiling SwiftSyntax Identifier.swift
[183/389] Emitting module ComplexModule
[209/390] Compiling SwiftSyntax SourceLocation.swift
[210/390] Compiling SwiftSyntax SourcePresence.swift
[211/390] Compiling SwiftSyntax SwiftSyntaxCompatibility.swift
[226/390] Emitting module ComplexModule
[232/399] Emitting module PropertyBased
[235/462] Compiling HeapModule Heap+Descriptions.swift
[236/479] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[237/513] Compiling HeapModule _HeapNode.swift
[238/513] Compiling HeapModule Heap.swift
[239/514] Compiling HeapModule Heap+Invariants.swift
[240/514] Compiling HeapModule Heap+UnsafeHandle.swift
[241/520] Compiling OrderedCollections OrderedSet+Partial RangeReplaceableCollection.swift
[242/520] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formIntersection.swift
[243/520] Compiling OrderedCollections _HashTable+Bucket.swift
[244/520] Compiling OrderedCollections _HashTable+BucketIterator.swift
[245/521] Emitting module HeapModule
[253/523] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[254/523] Emitting module HeapModule
[255/599] Compiling HeapModule _HeapNode.swift
[256/635] Compiling HeapModule Heap+Invariants.swift
[257/636] Compiling HeapModule Heap+Descriptions.swift
[258/693] Compiling HeapModule Heap+UnsafeHandle.swift
[259/693] Compiling HeapModule Heap.swift
[261/695] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[262/695] Emitting module PropertyLawComplex
[263/699] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[264/699] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[265/699] Compiling PropertyLawKit BinaryIntegerLaws.swift
[266/699] Compiling PropertyLawKit CaseIterableLaws.swift
[267/699] Compiling PropertyLawKit CodableLaws.swift
[268/699] Compiling PropertyLawKit CollectionLaws.swift
[269/699] Compiling PropertyLawKit CommutativeMonoid.swift
[270/699] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[271/763] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[272/763] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[273/763] Compiling PropertyLawKit BinaryIntegerLaws.swift
[274/763] Compiling PropertyLawKit CaseIterableLaws.swift
[275/763] Compiling PropertyLawKit CodableLaws.swift
[276/763] Compiling PropertyLawKit CollectionLaws.swift
[277/763] Compiling PropertyLawKit CommutativeMonoid.swift
[278/763] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[279/768] Compiling PropertyLawKit EquatableLaws.swift
[280/768] Compiling PropertyLawKit EveryCarrierLaws.swift
[281/768] Compiling PropertyLawKit EveryCaseLaws.swift
[282/768] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
[283/768] Compiling PropertyLawKit FloatingPointCommutativityLaws.swift
[284/768] Compiling PropertyLawKit FloatingPointLaws.swift
[285/768] Compiling PropertyLawKit FoundationGenerators.swift
[286/768] Compiling PropertyLawKit Group.swift
[287/768] Compiling PropertyLawKit GroupLaws.swift
[288/768] Compiling PropertyLawKit HashableLaws.swift
[289/800] Compiling PropertyLawKit LawSuppressionPolicy.swift
[290/800] Compiling PropertyLawKit NearMissCollector.swift
[291/800] Compiling PropertyLawKit PerLawDriver.swift
[292/800] Compiling PropertyLawKit PropertyLawSuiteRunner.swift
[293/800] Compiling PropertyLawKit EquatableLaws.swift
[294/800] Compiling PropertyLawKit EveryCarrierLaws.swift
[295/800] Compiling PropertyLawKit EveryCaseLaws.swift
[296/800] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
[297/811] Compiling PropertyLawKit ComparableLaws.swift
[298/811] Compiling PropertyLawKit CoverageClassifier.swift
[299/811] Compiling PropertyLawKit DefensiveCopy.swift
[300/811] Compiling PropertyLawKit DefensiveCopyLaws.swift
[301/811] Compiling PropertyLawKit Enumeration.swift
[302/811] Compiling PropertyLawKit EnumerationCombinators.swift
[303/811] Compiling PropertyLawKit EnumerationProduct.swift
[304/811] Compiling PropertyLawKit AggregateDriver.swift
[306/811] Compiling OrderedCollections OrderedSet+Sendable.swift
[307/811] Compiling OrderedCollections OrderedSet+SubSequence.swift
[308/811] Compiling OrderedCollections OrderedSet+Testing.swift
[309/811] Compiling OrderedCollections OrderedSet+UnorderedView.swift
[310/811] Compiling OrderedCollections OrderedSet+UnstableInternals.swift
[311/811] Compiling OrderedCollections OrderedSet.swift
[312/811] Compiling OrderedCollections _UnsafeBitset.swift
[313/811] Compiling PropertyLawKit InteractionInvariant.swift
[314/811] Compiling PropertyLawKit InteractionInvariantLaws+Async.swift
[315/811] Compiling PropertyLawKit Seed.swift
[316/811] Compiling PropertyLawKit SequenceLawOptions.swift
[317/811] Compiling PropertyLawKit SpaceCoverage.swift
[318/811] Compiling PropertyLawKit StrictnessTier.swift
[319/811] Compiling PropertyLawKit TrialBudget.swift
[320/811] Compiling PropertyLawKit PropertyLawKit.swift
[321/811] Compiling PropertyLawKit ActionSequenceFactory.swift
[322/811] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[323/811] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[324/811] Compiling PropertyLawKit CheckPreflight.swift
[325/811] Compiling PropertyLawKit CoverageAccumulator.swift
[326/811] Compiling PropertyLawKit DrawPoolDriver.swift
[327/811] Compiling PropertyLawKit EnumerationDriver.swift
[328/811] Compiling PropertyLawKit EqualValueLawBuilders.swift
[329/811] Compiling PropertyLawKit InheritedLawCollector.swift
[330/811] Compiling PropertyLawKit LawCheckBuilders.swift
[331/811] Compiling PropertyLawKit Environment.swift
[332/811] Compiling PropertyLawKit EqualValuePairing.swift
[333/811] Compiling PropertyLawKit InputSource.swift
[334/811] Compiling PropertyLawKit LawCheckOptions.swift
[335/811] Compiling PropertyLawKit LawIdentifier.swift
[336/811] Compiling PropertyLawKit LawSelection.swift
[337/811] Compiling PropertyLawKit LawSuppression.swift
[338/811] Compiling PropertyLawKit PropertyLawViolation.swift
[355/811] Compiling PropertyLawKit ReplayEnvironmentValidator.swift
[356/811] Compiling PropertyLawKit SpaceSampling.swift
[357/811] Compiling PropertyLawKit ViolationFormatter.swift
[358/811] Compiling PropertyLawKit CheckResult.swift
[359/811] Compiling PropertyLawKit CodableCodec.swift
[360/811] Compiling PropertyLawKit CodableLawConfig.swift
[361/811] Compiling PropertyLawKit CodableRoundTripMode.swift
[362/811] Compiling PropertyLawKit EnforcementMode.swift
[474/829] Compiling HashTreeCollections TreeSet+SetAlgebra isEqualSet.swift
[475/829] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSubset.swift
[476/829] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSuperset.swift
[477/829] Compiling HashTreeCollections TreeSet+SetAlgebra isSubset.swift
[478/829] Compiling HashTreeCollections TreeSet+SetAlgebra isSuperset.swift
[479/829] Compiling HashTreeCollections TreeSet+SetAlgebra subtract.swift
[480/829] Compiling HashTreeCollections TreeSet+SetAlgebra subtracting.swift
[481/829] Compiling HashTreeCollections TreeSet+SetAlgebra symmetricDifference.swift
[482/829] Compiling HashTreeCollections TreeSet+SetAlgebra union.swift
[483/829] Compiling HashTreeCollections TreeSet.swift
[484/829] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[485/829] Emitting module PropertyLawComplex
[487/830] Emitting module OrderedCollections
[494/830] Compiling SwiftSyntax SyntaxNodesC.swift
[515/843] Emitting module OrderedCollections
[517/893] Compiling HashTreeCollections _HashTreeIterator.swift
[518/893] Compiling HashTreeCollections _HashTreeStatistics.swift
[519/893] Compiling HashTreeCollections _RawHashNode+UnsafeHandle.swift
[520/893] Compiling HashTreeCollections _RawHashNode.swift
[521/893] Compiling HashTreeCollections _UnmanagedHashNode.swift
[522/893] Compiling HashTreeCollections _UnsafePath.swift
[523/893] Compiling HashTreeCollections TreeDictionary+Codable.swift
[524/893] Compiling HashTreeCollections TreeDictionary+Collection.swift
[525/893] Compiling HashTreeCollections TreeDictionary+CustomReflectable.swift
[526/893] Compiling HashTreeCollections TreeDictionary+Debugging.swift
[527/893] Compiling HashTreeCollections TreeDictionary+Descriptions.swift
[528/893] Compiling HashTreeCollections _AncestorHashSlots.swift
[529/893] Compiling HashTreeCollections _Bitmap.swift
[530/893] Compiling HashTreeCollections _Bucket.swift
[531/893] Compiling HashTreeCollections _Hash.swift
[532/893] Compiling HashTreeCollections _HashLevel.swift
[533/893] Compiling HashTreeCollections _HashNode+Builder.swift
[534/893] Compiling HashTreeCollections _HashNode+Debugging.swift
[535/893] Compiling HashTreeCollections _HashNode+Initializers.swift
[536/893] Compiling HashTreeCollections _HashNode+Invariants.swift
[537/893] Compiling HashTreeCollections _HashNode+Lookups.swift
[538/893] Compiling HashTreeCollections _HashNode+Primitive Insertions.swift
[546/920] Compiling PropertyLawKit SemilatticeLaws.swift
[547/920] Compiling PropertyLawKit SequenceLaws.swift
[548/920] Compiling PropertyLawKit SetAlgebraLaws.swift
[549/920] Compiling PropertyLawKit SignedIntegerLaws.swift
[550/920] Compiling PropertyLawKit SignedNumericLaws.swift
[551/920] Compiling PropertyLawKit StableIdentity.swift
[553/968] Compiling ContainersPreview BorrowingSequence+Standard Conformances.swift
[554/968] Compiling ContainersPreview BorrowingSequence+Utilities.swift
[555/968] Compiling ContainersPreview BorrowingSequence.swift
[556/968] Compiling ContainersPreview BidirectionalContainer.swift
[557/968] Compiling ContainersPreview Container+Filter.swift
[558/972] Compiling ContainersPreview BorrowingIteratorProtocol+Map.swift
[559/972] Compiling ContainersPreview BorrowingIteratorProtocol+Reduce.swift
[560/972] Compiling ContainersPreview BorrowingIteratorProtocol+SpanwiseZip.swift
[561/972] Compiling ContainersPreview BorrowingIteratorProtocol.swift
[562/972] Compiling ContainersPreview BorrowingSequence+Algorithms.swift
[563/972] Emitting module ContainersPreview
[564/972] Compiling ContainersPreview OutputSpan+Extras.swift
[565/972] Compiling ContainersPreview TemporaryAllocation.swift
[566/972] Compiling ContainersPreview BorrowingIteratorProtocol+Copy.swift
[567/972] Compiling ContainersPreview BorrowingIteratorProtocol+ElementsEqual.swift
[568/972] Compiling ContainersPreview BorrowingIteratorProtocol+Filter.swift
[569/972] Compiling ContainersPreview Drain+Map.swift
[570/972] Compiling ContainersPreview Drain+Reduce.swift
[571/972] Compiling ContainersPreview Drain.swift
[572/972] Compiling ContainersPreview Producer+Collect.swift
[573/972] Compiling ContainersPreview Producer+Filter.swift
[574/972] 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,
[575/972] 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,
[576/972] 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,
[577/972] 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,
[578/972] 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,
[579/972] 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,
[580/972] 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,
[581/972] 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,
[582/972] 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,
[583/972] 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,
[584/972] 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,
[585/972] 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,
[586/972] Emitting module PropertyLawKit
[587/972] Compiling ContainersPreview Producer+Map.swift
[588/972] Compiling ContainersPreview Producer+Reduce.swift
[589/972] Compiling ContainersPreview Producer.swift
[590/972] Compiling ContainersPreview InputSpan.swift
[591/972] Compiling ContainersPreview MutableRef.swift
[592/972] Compiling ContainersPreview PermutableContainer.swift
[593/972] Compiling ContainersPreview RandomAccessContainer.swift
[594/972] Compiling ContainersPreview RangeExpression2.swift
[595/972] Compiling ContainersPreview RangeReplaceableContainer.swift
[596/972] Compiling ContainersPreview Strideable+Limits.swift
[597/972] Compiling ContainersPreview Container+SpanwiseZip.swift
[598/972] Compiling ContainersPreview Container.swift
[599/972] Compiling ContainersPreview ContainerIterator.swift
[600/972] Compiling ContainersPreview DynamicContainer.swift
[601/972] Compiling ContainersPreview MutableContainer.swift
[602/972] Compiling HashTreeCollections TreeSet+Hashable.swift
[603/972] Compiling HashTreeCollections TreeSet+Sendable.swift
[604/972] Compiling HashTreeCollections TreeSet+Sequence.swift
[605/972] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[606/972] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[607/972] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[608/972] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[609/972] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[610/972] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[611/972] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[638/1014] Compiling ContainersPreview Ref.swift
[639/1014] Compiling ContainersPreview Shared.swift
[640/1014] Compiling ContainersPreview SpanIterator.swift
[641/1014] Compiling ContainersPreview UniqueBox.swift
[642/1019] Compiling ContainersPreview OutputSpan+Extras.swift
[643/1019] Compiling ContainersPreview TemporaryAllocation.swift
[644/1019] Compiling ContainersPreview BorrowingIteratorProtocol+Copy.swift
[645/1019] Compiling ContainersPreview BorrowingIteratorProtocol+ElementsEqual.swift
[646/1019] Compiling ContainersPreview BorrowingIteratorProtocol+Filter.swift
[647/1023] Compiling ContainersPreview BorrowingIteratorProtocol+Map.swift
[648/1023] Compiling ContainersPreview BorrowingIteratorProtocol+Reduce.swift
[649/1023] Compiling ContainersPreview BorrowingIteratorProtocol+SpanwiseZip.swift
[650/1023] Compiling ContainersPreview BorrowingIteratorProtocol.swift
[651/1023] Compiling ContainersPreview BorrowingSequence+Algorithms.swift
[652/1023] Compiling ContainersPreview Ref.swift
[653/1023] Compiling ContainersPreview Shared.swift
[654/1023] Compiling ContainersPreview SpanIterator.swift
[655/1023] Compiling ContainersPreview UniqueBox.swift
[656/1023] Emitting module ContainersPreview
[657/1023] Compiling ContainersPreview Drain+Map.swift
[658/1023] Compiling ContainersPreview Drain+Reduce.swift
[659/1023] Compiling ContainersPreview Drain.swift
[660/1023] Compiling ContainersPreview Producer+Collect.swift
[661/1023] Compiling ContainersPreview Producer+Filter.swift
[662/1023] Compiling ContainersPreview Producer+Map.swift
[663/1023] Compiling ContainersPreview Producer+Reduce.swift
[664/1023] Compiling ContainersPreview Producer.swift
[665/1023] Compiling ContainersPreview InputSpan.swift
[666/1023] Compiling ContainersPreview MutableRef.swift
[667/1023] Compiling HashTreeCollections TreeDictionary+Equatable.swift
[668/1023] Compiling HashTreeCollections TreeDictionary+ExpressibleByDictionaryLiteral.swift
[669/1023] Compiling HashTreeCollections TreeDictionary+Filter.swift
[670/1023] Compiling HashTreeCollections TreeDictionary+Hashable.swift
[671/1023] Compiling HashTreeCollections TreeDictionary+Initializers.swift
[672/1023] Compiling HashTreeCollections TreeDictionary+Keys.swift
[673/1023] Compiling HashTreeCollections TreeDictionary+MapValues.swift
[674/1023] Compiling HashTreeCollections TreeDictionary+Merge.swift
[675/1023] Compiling HashTreeCollections TreeDictionary+Sendable.swift
[676/1023] Compiling HashTreeCollections TreeDictionary+Sequence.swift
[677/1023] Compiling HashTreeCollections TreeDictionary+Values.swift
[678/1023] Compiling ContainersPreview BorrowingSequence+Standard Conformances.swift
[679/1023] Compiling ContainersPreview BorrowingSequence+Utilities.swift
[680/1023] Compiling ContainersPreview BorrowingSequence.swift
[681/1023] Compiling ContainersPreview BidirectionalContainer.swift
[682/1023] Compiling ContainersPreview Container+Filter.swift
[683/1023] Compiling ContainersPreview Container+SpanwiseZip.swift
[684/1023] Compiling ContainersPreview Container.swift
[685/1023] Compiling ContainersPreview ContainerIterator.swift
[686/1023] Compiling ContainersPreview DynamicContainer.swift
[687/1023] Compiling ContainersPreview MutableContainer.swift
[688/1023] Compiling ContainersPreview PermutableContainer.swift
[689/1023] Compiling ContainersPreview RandomAccessContainer.swift
[690/1023] Compiling ContainersPreview RangeExpression2.swift
[691/1023] Compiling ContainersPreview RangeReplaceableContainer.swift
[692/1023] Compiling ContainersPreview Strideable+Limits.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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
[723/1024] Compiling HashTreeCollections TreeDictionary.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,
[724/1024] Compiling HashTreeCollections TreeSet+Codable.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,
[725/1024] Compiling HashTreeCollections TreeSet+Collection.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,
[726/1024] Compiling HashTreeCollections TreeSet+CustomReflectable.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,
[727/1024] Compiling HashTreeCollections TreeSet+Debugging.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,
[728/1024] Compiling HashTreeCollections TreeSet+Descriptions.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,
[729/1024] Compiling HashTreeCollections TreeSet+Equatable.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,
[730/1024] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.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,
[731/1024] Compiling HashTreeCollections TreeSet+Extras.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,
[732/1024] Compiling HashTreeCollections TreeSet+Filter.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/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
/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,
[769/1024] Emitting module PropertyLawKit
[770/1024] Compiling HashTreeCollections _HashNode+Structural isDisjoint.swift
[771/1024] Compiling HashTreeCollections _HashNode+Structural isEqualSet.swift
[772/1024] Compiling HashTreeCollections _HashNode+Structural isSubset.swift
[773/1024] Compiling HashTreeCollections _HashNode+Structural mapValues.swift
[774/1024] Compiling HashTreeCollections _HashNode+Structural merge.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,
[793/1024] Compiling HashTreeCollections TreeSet+SetAlgebra isEqualSet.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,
[794/1024] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSubset.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,
[795/1024] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSuperset.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,
[809/1079] Compiling BitCollections BitArray+Copy.swift
[810/1079] Compiling BitCollections BitArray+CustomReflectable.swift
[811/1079] Compiling BitCollections BitArray+Descriptions.swift
[812/1079] Compiling BitCollections BitSet+Codable.swift
[813/1079] Compiling BitCollections BitSet+CustomDebugStringConvertible.swift
[814/1079] Compiling BitCollections BitSet+CustomReflectable.swift
[815/1079] Compiling BitCollections BitSet+CustomStringConvertible.swift
[816/1079] Compiling BitCollections BitSet+Equatable.swift
[817/1079] Compiling BitCollections BitSet+ExpressibleByArrayLiteral.swift
[818/1079] Compiling BitCollections BitSet+Extras.swift
[819/1079] Compiling BitCollections BitSet+Hashable.swift
[820/1079] Compiling BitCollections BitArray+Equatable.swift
[821/1079] Compiling BitCollections BitArray+ExpressibleByArrayLiteral.swift
[822/1084] Compiling BitCollections BitSet+SetAlgebra formUnion.swift
[823/1084] Compiling BitCollections BitSet+SetAlgebra intersection.swift
[824/1084] Compiling BitCollections BitSet+SetAlgebra isDisjoint.swift
[825/1084] Compiling BitCollections BitSet+SetAlgebra isEqualSet.swift
[826/1084] Compiling BitCollections BitSet+SetAlgebra isStrictSubset.swift
[827/1084] Compiling BitCollections BitSet+SetAlgebra isStrictSuperset.swift
[828/1084] Compiling BitCollections BitSet+SetAlgebra isSubset.swift
[829/1084] Compiling BitCollections BitSet+SetAlgebra isSuperset.swift
[830/1084] Compiling BitCollections BitSet+SetAlgebra subtract.swift
[831/1084] Compiling BitCollections BitSet+SetAlgebra subtracting.swift
[832/1084] Compiling BitCollections BitSet+SetAlgebra symmetricDifference.swift
[833/1084] Compiling BitCollections BitSet+SetAlgebra union.swift
[834/1084] Compiling BitCollections BitSet+Sorted Collection APIs.swift
[835/1084] Compiling BitCollections BitArray+ExpressibleByStringLiteral.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,
[836/1084] Compiling BitCollections BitArray+Extras.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,
[837/1084] Compiling BitCollections BitArray+Fill.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,
[838/1084] Compiling BitCollections BitArray+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,
[839/1084] Compiling BitCollections BitArray+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,
[840/1084] Compiling BitCollections BitArray+Invariants.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,
[841/1084] Compiling BitCollections BitSet+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,
[842/1084] Compiling BitCollections BitSet+Invariants.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,
[843/1084] Compiling BitCollections BitSet+Random.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,
[844/1084] Compiling BitCollections BitSet+SetAlgebra basics.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,
[845/1084] Compiling BitCollections BitSet+SetAlgebra conformance.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,
[846/1084] Compiling BitCollections BitSet+SetAlgebra formIntersection.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,
[847/1084] Compiling BitCollections BitSet+SetAlgebra formSymmetricDifference.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,
[848/1102] Emitting module HashTreeCollections
BUILD FAILURE 6.1 android