Swift Package IndexBuild Information
Failed to build SwiftPropertyLaws, reference v4.10.0 (9e774f), with Swift 6.1 for Wasm on 13 Oct 2026 02:18:14 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-54344847-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:wasm-6.1-latest swift build --swift-sdk wasm32-unknown-wasi 2>&1Build Log
130 | .map { $0.path.string }
131 | .sorted()
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:129:31: warning: 'extension' is deprecated: Use `URL` type instead of `Path`.
127 | guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
128 | return sourceModuleTarget.sourceFiles
129 | .filter { $0.path.extension == "swift" }
| `- warning: 'extension' is deprecated: Use `URL` type instead of `Path`.
130 | .map { $0.path.string }
131 | .sorted()
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:130:23: warning: 'path' is deprecated: renamed to 'url'
128 | return sourceModuleTarget.sourceFiles
129 | .filter { $0.path.extension == "swift" }
130 | .map { $0.path.string }
| |- warning: 'path' is deprecated: renamed to 'url'
| `- note: use 'url' instead
131 | .sorted()
132 | }
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:130:28: warning: 'string' is deprecated: Use `URL` type instead of `Path`.
128 | return sourceModuleTarget.sourceFiles
129 | .filter { $0.path.extension == "swift" }
130 | .map { $0.path.string }
| `- warning: 'string' is deprecated: Use `URL` type instead of `Path`.
131 | .sorted()
132 | }
[1/1] Compiling plugin PropertyLawDiscoveryPlugin
Building for debugging...
[1/38] Write swift-version-24593BA9C3E375BF.txt
[3/77] Compiling RealModule RealFunctions.swift
[4/78] Compiling SwiftSyntax602 Empty.swift
[5/80] Compiling RealModule RelaxedArithmetic.swift
[6/80] Emitting module SwiftSyntax510
[7/80] Emitting module SwiftSyntax601
[8/80] Compiling RealModule Real.swift
[9/80] Emitting module SwiftSyntax602
[10/80] Compiling SwiftSyntax601 Empty.swift
[11/81] Emitting module SwiftSyntax600
[12/82] Compiling SwiftSyntax601 Empty.swift
[13/82] Emitting module SwiftSyntax601
[14/83] Compiling SwiftSyntax602 Empty.swift
[15/83] Compiling RealModule Float80+Real.swift
[16/83] Compiling SwiftSyntax600 Empty.swift
[17/83] Compiling SwiftSyntax510 Empty.swift
[18/83] Emitting module SwiftSyntax602
[19/86] Compiling InternalCollectionsUtilities FixedWidthInteger+roundUpToPowerOfTwo.swift
[20/86] Compiling InternalCollectionsUtilities LifetimeOverride.swift
[22/86] Compiling InternalCollectionsUtilities RandomAccessCollection+Offsets.swift
[23/86] Compiling InternalCollectionsUtilities Span+Extras.swift
[24/88] Compiling InternalCollectionsUtilities UnsafeMutableRawBufferPointer+Extras.swift
[25/88] Compiling InternalCollectionsUtilities UnsafeRawBufferPointer+Extras.swift
[28/88] Compiling RealModule Float16+Real.swift
[32/84] Compiling InternalCollectionsUtilities Debugging.swift
[33/84] Compiling InternalCollectionsUtilities Descriptions.swift
[34/84] Compiling InternalCollectionsUtilities String+Padding.swift
[35/84] Compiling InternalCollectionsUtilities _UnsafeBitSet+Index.swift
[37/82] Compiling InternalCollectionsUtilities _SortedCollection.swift
[38/82] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[39/97] Compiling InternalCollectionsUtilities UnsafeBufferPointer+Extras.swift
[40/97] Compiling InternalCollectionsUtilities UnsafeMutableBufferPointer+Extras.swift
[41/99] Compiling RealModule AlgebraicField.swift
[42/99] Emitting module RealModule
[43/99] Compiling RealModule ApproximateEquality.swift
[44/102] Compiling SwiftSyntax600 Empty.swift
[45/102] Compiling RealModule ElementaryFunctions.swift
[46/102] Compiling RealModule Float+Real.swift
[47/102] Compiling RealModule AugmentedArithmetic.swift
[48/122] Compiling SwiftSyntax509 Empty.swift
[49/122] Emitting module SwiftSyntax509
[51/123] Emitting module SwiftSyntax600
[52/123] Compiling SwiftSyntax510 Empty.swift
[53/123] Emitting module SwiftSyntax510
[54/125] Emitting module SwiftSyntax509
[55/125] Compiling SwiftSyntax509 Empty.swift
[56/126] Compiling RealModule RealFunctions.swift
[59/125] Compiling PropertyLawCore RecursiveGeneratorEmitter.swift
[60/125] Compiling PropertyLawCore ResolutionFailure.swift
[63/126] Compiling RealModule Float80+Real.swift
[64/126] Compiling RealModule Real.swift
[65/125] Compiling PropertyLawCore Scaffold.swift
[66/125] Compiling PropertyLawCore StatelessDerivation.swift
[67/125] Compiling RealModule Float16+Real.swift
[68/145] Compiling RealModule RelaxedArithmetic.swift
[69/176] Compiling PropertyLawCore DerivationStrategy.swift
[70/176] Compiling PropertyLawCore EnumPayloadDerivation.swift
[71/187] Compiling PropertyBased FixedSeedTrait.swift
[72/187] Compiling PropertyBased Gen+Collection.swift
[73/187] Compiling PropertyLawCore LabelNarrowedGenerators.swift
[74/187] Compiling PropertyLawCore MemberwiseEmitter.swift
[75/187] Compiling PropertyLawCore GeneratorResolver.swift
[77/207] Compiling PropertyBased Gen+Int.swift
[78/207] Compiling PropertyBased Gen+SIMD.swift
[79/207] Compiling PropertyBased Gen+Color.swift
[80/207] Compiling PropertyBased Gen+Date.swift
[81/207] Compiling PropertyBased Gen+Frequency.swift
[82/207] Compiling PropertyBased ClosedIntegerRange.swift
[83/225] Emitting module PropertyLawCore
[84/225] Emitting module RealModule
[85/226] Compiling InternalCollectionsUtilities _UnsafeBitSet+Index.swift
[86/226] Compiling InternalCollectionsUtilities UnsafeMutableRawBufferPointer+Extras.swift
[87/226] Compiling InternalCollectionsUtilities UnsafeRawBufferPointer+Extras.swift
[88/249] Emitting module InternalCollectionsUtilities
[89/290] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[90/290] Compiling SwiftSyntax RawSyntaxTokenView.swift
[92/292] Compiling SwiftSyntax Assert.swift
[93/292] Compiling SwiftSyntax BumpPtrAllocator.swift
[94/292] Compiling SwiftSyntax CommonAncestor.swift
[95/292] Compiling SwiftSyntax AbsolutePosition.swift
[96/292] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[97/292] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[98/292] Compiling SwiftSyntax Convenience.swift
[99/292] Compiling SwiftSyntax CustomTraits.swift
[100/292] Compiling SwiftSyntax EditorPlaceholder.swift
[102/292] Compiling SwiftSyntax RawSyntaxArena.swift
[103/292] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[104/294] Compiling InternalCollectionsUtilities _SortedCollection.swift
[105/294] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[111/294] Compiling PropertyLawCore TodoReason.swift
[112/294] Compiling PropertyLawCore TypeShape.swift
[118/372] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[119/372] Compiling SwiftSyntax RawSyntaxTokenView.swift
[120/372] Compiling SwiftSyntax AbsolutePosition.swift
[121/372] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[122/372] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[123/372] Compiling SwiftSyntax Assert.swift
[124/372] Compiling SwiftSyntax BumpPtrAllocator.swift
[125/372] Compiling SwiftSyntax CommonAncestor.swift
[126/372] Compiling SwiftSyntax SyntaxIdentifier.swift
[127/372] Compiling SwiftSyntax SyntaxNodeStructure.swift
[128/372] Compiling SwiftSyntax SyntaxProtocol.swift
[129/372] Compiling SwiftSyntax SyntaxText.swift
[130/372] Compiling SwiftSyntax Syntax.swift
[131/372] Compiling SwiftSyntax SyntaxChildren.swift
[132/372] Compiling SwiftSyntax SyntaxCollection.swift
[133/372] Compiling SwiftSyntax SyntaxHashable.swift
[134/372] Emitting module InternalCollectionsUtilities
[135/372] Compiling SwiftSyntax Identifier.swift
[136/372] Compiling SwiftSyntax MemoryLayout.swift
[137/372] Compiling SwiftSyntax MissingNodeInitializers.swift
[138/407] Compiling OrderedCollections OrderedDictionary+Move.swift
[139/407] Compiling OrderedCollections OrderedDictionary+Partial MutableCollection.swift
[140/416] Compiling OrderedCollections OrderedDictionary+Sendable.swift
[141/416] Compiling OrderedCollections OrderedDictionary+Sequence.swift
[142/416] Compiling OrderedCollections OrderedDictionary+Values.swift
[143/416] Compiling OrderedCollections OrderedDictionary.swift
[144/420] Compiling OrderedCollections OrderedSet+Codable.swift
[145/420] Compiling OrderedCollections OrderedSet+CustomReflectable.swift
[146/420] Compiling OrderedCollections OrderedSet+Descriptions.swift
[147/420] Compiling OrderedCollections OrderedSet+Diffing.swift
[148/420] Compiling ComplexModule Polar.swift
[149/434] Compiling OrderedCollections OrderedDictionary+Elements.SubSequence.swift
[150/434] Compiling OrderedCollections OrderedDictionary+Elements.swift
[151/434] Compiling ComplexModule Complex+Numeric.swift
[152/434] Compiling ComplexModule Complex.swift
[153/434] Compiling ComplexModule Complex+StringConvertible.swift
[154/434] Compiling OrderedCollections OrderedDictionary+Invariants.swift
[157/434] Compiling OrderedCollections OrderedDictionary+Partial RangeReplaceableCollection.swift
[158/434] Emitting module PropertyLawCore
[159/434] Compiling OrderedCollections OrderedDictionary+Codable.swift
[160/434] Compiling OrderedCollections OrderedDictionary+CustomReflectable.swift
[161/434] Compiling OrderedCollections OrderedDictionary+Deprecations.swift
[162/434] Compiling OrderedCollections OrderedDictionary+Descriptions.swift
[165/434] Compiling OrderedCollections _HashTable+Testing.swift
[166/434] Compiling OrderedCollections _HashTable+UnsafeHandle.swift
[167/434] Compiling OrderedCollections _HashTable.swift
[169/435] Compiling OrderedCollections _Hashtable+Header.swift
[170/435] Compiling OrderedCollections OrderedDictionary+Hashable.swift
[171/435] Compiling OrderedCollections OrderedDictionary+Initializers.swift
[172/435] Compiling ComplexModule Scale.swift
[178/434] Compiling OrderedCollections _HashTable+Bucket.swift
[179/434] Compiling OrderedCollections _HashTable+BucketIterator.swift
[180/434] Compiling OrderedCollections _HashTable+Constants.swift
[181/434] Compiling OrderedCollections _HashTable+CustomStringConvertible.swift
[185/434] Compiling OrderedCollections OrderedDictionary+Equatable.swift
[186/434] Compiling OrderedCollections OrderedDictionary+ExpressibleByDictionaryLiteral.swift
[187/434] Emitting module PropertyBased
[208/434] Compiling PropertyBased Xoshiro.swift
[209/434] Compiling PropertyBased Zip.swift
[210/434] Compiling OrderedCollections OrderedSet+Partial SetAlgebra intersection.swift
[211/434] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isDisjoint.swift
[212/434] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isEqualSet.swift
[213/434] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSubset.swift
[214/434] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSuperset.swift
[215/434] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSubset.swift
[216/444] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSuperset.swift
[217/444] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtract.swift
[218/444] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtracting.swift
[219/444] Compiling OrderedCollections OrderedSet+Partial SetAlgebra symmetricDifference.swift
[220/444] Compiling OrderedCollections OrderedSet+Partial SetAlgebra union.swift
[221/444] Compiling OrderedCollections OrderedSet+Partial SetAlgebra+Basics.swift
[222/444] Compiling OrderedCollections OrderedSet+RandomAccessCollection.swift
[223/444] Compiling OrderedCollections OrderedSet+ReserveCapacity.swift
[239/449] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[244/449] Compiling HeapModule Heap+Descriptions.swift
[245/449] Emitting module ComplexModule
[255/450] Compiling HeapModule _HeapNode.swift
[257/450] Compiling HeapModule Heap+Invariants.swift
[258/450] Compiling HeapModule Heap.swift
[259/450] Compiling HeapModule Heap+UnsafeHandle.swift
[260/526] Compiling HashTreeCollections _HashNode+Invariants.swift
[261/526] Compiling HashTreeCollections _HashNode+Lookups.swift
[262/526] Compiling HashTreeCollections _HashNode+Primitive Insertions.swift
[263/526] Compiling HashTreeCollections TreeDictionary+Equatable.swift
[264/527] Emitting module HeapModule
[267/585] Compiling OrderedCollections OrderedSet+Equatable.swift
[268/585] Compiling OrderedCollections OrderedSet+ExpressibleByArrayLiteral.swift
[269/585] Compiling OrderedCollections OrderedSet+Hashable.swift
[270/585] Compiling OrderedCollections OrderedSet+Initializers.swift
[272/586] Compiling OrderedCollections OrderedSet+Insertions.swift
[273/586] Compiling OrderedCollections OrderedSet+Invariants.swift
[274/586] Compiling OrderedCollections OrderedSet+Move.swift
[275/586] Compiling OrderedCollections OrderedSet+Partial MutableCollection.swift
[276/586] Compiling OrderedCollections OrderedSet+Partial RangeReplaceableCollection.swift
[277/586] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formIntersection.swift
[278/586] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formSymmetricDifference.swift
[279/586] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formUnion.swift
[280/586] Compiling OrderedCollections OrderedSet+Partial SetAlgebra intersection.swift
[281/586] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isDisjoint.swift
[282/596] Compiling HashTreeCollections TreeSet+Codable.swift
[283/596] Compiling HashTreeCollections TreeSet+Collection.swift
[284/596] Compiling HashTreeCollections TreeSet+CustomReflectable.swift
[285/596] Compiling HashTreeCollections TreeSet+Debugging.swift
[286/596] Compiling HashTreeCollections TreeSet+Descriptions.swift
[287/596] Compiling HashTreeCollections TreeSet+Equatable.swift
[288/596] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.swift
[289/596] Compiling OrderedCollections OrderedDictionary+Values.swift
[290/596] Compiling OrderedCollections _HashTable+CustomStringConvertible.swift
[291/596] Compiling OrderedCollections OrderedDictionary.swift
[292/596] Compiling OrderedCollections _HashTable+Testing.swift
[293/596] Compiling OrderedCollections OrderedSet+Codable.swift
[294/597] Compiling OrderedCollections _HashTable+UnsafeHandle.swift
[295/597] Compiling OrderedCollections OrderedSet+CustomReflectable.swift
[296/597] Compiling OrderedCollections _HashTable.swift
[297/597] Compiling OrderedCollections OrderedSet+Descriptions.swift
[298/597] Compiling OrderedCollections _Hashtable+Header.swift
[299/597] Compiling OrderedCollections OrderedSet+Diffing.swift
[300/597] Compiling OrderedCollections OrderedDictionary+Codable.swift
[302/597] Compiling OrderedCollections OrderedDictionary+CustomReflectable.swift
[304/597] Compiling OrderedCollections OrderedDictionary+Deprecations.swift
[305/597] Compiling OrderedCollections OrderedDictionary+Descriptions.swift
[307/597] Compiling OrderedCollections OrderedDictionary+Elements.SubSequence.swift
[309/597] Compiling OrderedCollections OrderedDictionary+Elements.swift
[312/597] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isEqualSet.swift
[313/597] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSubset.swift
[314/597] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSuperset.swift
[315/597] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSubset.swift
[316/603] Compiling OrderedCollections _HashTable+Bucket.swift
[317/603] Compiling OrderedCollections _HashTable+BucketIterator.swift
[318/603] Compiling OrderedCollections _HashTable+Constants.swift
[325/603] Compiling HashTreeCollections TreeSet+Hashable.swift
[326/603] Compiling HashTreeCollections TreeSet+Sendable.swift
[327/603] Compiling HashTreeCollections TreeSet+Sequence.swift
[328/603] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[329/603] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[330/603] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[331/603] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[332/603] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[333/603] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[334/603] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[335/628] Compiling OrderedCollections OrderedSet+ReserveCapacity.swift
[343/628] Compiling HashTreeCollections TreeSet+Extras.swift
[344/628] Compiling HashTreeCollections TreeSet+Filter.swift
[345/787] Compiling HeapModule _HeapNode.swift
[346/787] Compiling HeapModule Heap.swift
[347/787] Compiling PropertyLawKit CaseIterableLaws.swift
[348/787] Compiling PropertyLawKit CodableLaws.swift
[349/787] Compiling PropertyLawKit CollectionLaws.swift
[350/787] Compiling PropertyLawKit CommutativeMonoid.swift
[351/787] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[352/787] Compiling PropertyLawKit ComparableLaws.swift
[353/787] Compiling PropertyLawKit CoverageClassifier.swift
[354/787] Compiling PropertyLawKit DefensiveCopy.swift
[355/794] Compiling HeapModule Heap+Descriptions.swift
[356/794] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[357/794] Compiling HeapModule Heap+Invariants.swift
[358/794] Compiling HeapModule Heap+UnsafeHandle.swift
[359/794] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[360/794] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[361/794] Compiling PropertyLawKit RawRepresentableLaws.swift
[362/794] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[363/794] Compiling PropertyLawKit Ring.swift
[364/794] Compiling PropertyLawKit RingLaws.swift
[365/794] Compiling PropertyLawKit SameResult.swift
[366/794] Compiling PropertyLawKit Semigroup.swift
[367/794] Compiling PropertyLawKit SemigroupLaws.swift
[368/794] Compiling PropertyLawKit Semilattice.swift
[369/794] Emitting module HeapModule
[370/795] Compiling PropertyLawKit DefensiveCopyLaws.swift
[371/795] Compiling PropertyLawKit Enumeration.swift
[372/795] Compiling PropertyLawKit EnumerationCombinators.swift
[373/795] Compiling PropertyLawKit EnumerationProduct.swift
[374/795] Compiling PropertyLawKit EquatableLaws.swift
[375/795] Compiling PropertyLawKit EveryCarrierLaws.swift
[376/795] Compiling PropertyLawKit EveryCaseLaws.swift
[377/795] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
[379/795] Emitting module OrderedCollections
[380/796] Compiling PropertyLawKit LawSuppressionPolicy.swift
[381/796] Compiling PropertyLawKit NearMissCollector.swift
[382/796] Compiling PropertyLawKit PerLawDriver.swift
[383/796] Compiling PropertyLawKit PropertyLawSuiteRunner.swift
[384/796] Compiling PropertyLawKit ReplayEnvironmentValidator.swift
[385/796] Compiling PropertyLawKit SpaceSampling.swift
[386/796] Compiling PropertyLawKit ViolationFormatter.swift
[387/796] Compiling PropertyLawKit CheckResult.swift
[388/796] Compiling PropertyLawKit CodableCodec.swift
[389/796] Compiling PropertyLawKit AggregateDriver.swift
[390/796] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[391/796] Compiling PropertyLawKit CheckPreflight.swift
[392/796] Compiling PropertyLawKit CoverageAccumulator.swift
[393/796] Compiling PropertyLawKit DrawPoolDriver.swift
[394/796] Compiling PropertyLawKit EnumerationDriver.swift
[395/796] Compiling PropertyLawKit EqualValueLawBuilders.swift
[396/796] Compiling PropertyLawKit InheritedLawCollector.swift
[397/796] Compiling PropertyLawKit LawCheckBuilders.swift
[399/804] Compiling PropertyLawKit CodableLawConfig.swift
[400/804] Compiling PropertyLawKit CodableRoundTripMode.swift
[401/804] Compiling PropertyLawKit EnforcementMode.swift
[402/804] Compiling PropertyLawKit Environment.swift
[403/804] Compiling PropertyLawKit EqualValuePairing.swift
[404/804] Compiling PropertyLawKit InputSource.swift
[405/804] Compiling PropertyLawKit LawCheckOptions.swift
[406/804] Compiling PropertyLawKit LawIdentifier.swift
[407/804] Compiling PropertyLawKit LawSelection.swift
[408/806] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[409/806] Emitting module PropertyLawComplex
[411/919] Compiling ContainersPreview OutputSpan+Extras.swift
[412/919] Compiling ContainersPreview TemporaryAllocation.swift
[413/919] Compiling ContainersPreview BorrowingIteratorProtocol+Copy.swift
[414/919] Compiling ContainersPreview BorrowingIteratorProtocol+ElementsEqual.swift
[415/919] Compiling ContainersPreview BorrowingIteratorProtocol+Filter.swift
[416/919] Compiling ContainersPreview BorrowingIteratorProtocol+Map.swift
[417/919] Compiling ContainersPreview BorrowingIteratorProtocol+Reduce.swift
[418/919] Compiling ContainersPreview BorrowingIteratorProtocol+SpanwiseZip.swift
[419/919] Compiling ContainersPreview BorrowingIteratorProtocol.swift
[420/919] Compiling ContainersPreview BorrowingSequence+Algorithms.swift
[421/923] Compiling HashTreeCollections TreeSet+Hashable.swift
[422/923] Compiling HashTreeCollections TreeSet+Sendable.swift
[423/923] Compiling HashTreeCollections TreeSet+Sequence.swift
[424/923] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[425/923] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[426/923] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[427/923] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[428/923] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[429/923] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[430/923] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[431/923] Compiling HashTreeCollections TreeDictionary.swift
[442/923] Compiling ContainersPreview Container+SpanwiseZip.swift
[443/923] Compiling ContainersPreview BorrowingSequence.swift
[444/923] Compiling ContainersPreview BidirectionalContainer.swift
[445/923] Compiling ContainersPreview Container+Filter.swift
[446/923] Compiling ContainersPreview Drain+Map.swift
[447/923] Compiling ContainersPreview Drain+Reduce.swift
[448/923] Compiling ContainersPreview Drain.swift
[449/923] Compiling ContainersPreview Producer+Collect.swift
[450/923] Compiling ContainersPreview Producer+Filter.swift
[451/923] Compiling ContainersPreview Producer+Map.swift
[452/923] Compiling ContainersPreview Producer+Reduce.swift
[453/923] Compiling ContainersPreview Producer.swift
[462/923] Compiling ContainersPreview InputSpan.swift
[463/923] Compiling ContainersPreview MutableRef.swift
[464/923] Emitting module ContainersPreview
[465/923] Compiling ContainersPreview BorrowingSequence+Standard Conformances.swift
[466/923] Compiling ContainersPreview BorrowingSequence+Utilities.swift
[470/923] Compiling ContainersPreview PermutableContainer.swift
[471/923] Compiling ContainersPreview RandomAccessContainer.swift
[472/923] Compiling ContainersPreview RangeExpression2.swift
[473/923] Compiling ContainersPreview RangeReplaceableContainer.swift
[474/923] Compiling ContainersPreview Strideable+Limits.swift
[476/923] Compiling ContainersPreview Container.swift
[477/923] Compiling ContainersPreview ContainerIterator.swift
[478/923] Compiling ContainersPreview DynamicContainer.swift
[479/923] Compiling ContainersPreview MutableContainer.swift
[499/923] Compiling ContainersPreview Ref.swift
[500/923] Compiling ContainersPreview Shared.swift
[501/923] Compiling ContainersPreview SpanIterator.swift
[502/923] Compiling ContainersPreview UniqueBox.swift
[503/923] Compiling HashTreeCollections TreeDictionary+Codable.swift
[539/931] Emitting module PropertyLawKit
[554/956] Compiling HashTreeCollections TreeSet+Collection.swift
[555/956] Compiling HashTreeCollections TreeSet+CustomReflectable.swift
[556/956] Compiling HashTreeCollections TreeSet+Debugging.swift
[557/956] Compiling HashTreeCollections TreeSet+Descriptions.swift
[558/956] Compiling HashTreeCollections TreeSet+Equatable.swift
[559/956] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.swift
[560/956] Compiling SwiftSyntax SyntaxNodesC.swift
[584/1002] Compiling ContainersPreview Producer+Map.swift
[585/1002] Compiling ContainersPreview Producer+Reduce.swift
[586/1002] Compiling ContainersPreview Producer.swift
[587/1002] Compiling ContainersPreview InputSpan.swift
[588/1002] Compiling ContainersPreview MutableRef.swift
[589/1002] Compiling ContainersPreview Drain+Map.swift
[590/1002] Compiling ContainersPreview Drain+Reduce.swift
[591/1002] Compiling ContainersPreview Drain.swift
[592/1002] Compiling ContainersPreview Producer+Collect.swift
[593/1002] Compiling ContainersPreview Producer+Filter.swift
[594/1002] Compiling ContainersPreview BorrowingSequence+Standard Conformances.swift
[595/1002] Compiling ContainersPreview BorrowingSequence+Utilities.swift
[596/1002] Compiling ContainersPreview BorrowingSequence.swift
[597/1002] Compiling ContainersPreview BidirectionalContainer.swift
[598/1002] Compiling ContainersPreview Container+Filter.swift
[599/1002] Compiling ContainersPreview OutputSpan+Extras.swift
[600/1002] Compiling ContainersPreview TemporaryAllocation.swift
[601/1002] Compiling ContainersPreview BorrowingIteratorProtocol+Copy.swift
[602/1002] Compiling ContainersPreview BorrowingIteratorProtocol+ElementsEqual.swift
[603/1002] Compiling ContainersPreview BorrowingIteratorProtocol+Filter.swift
[604/1002] Compiling ContainersPreview BorrowingIteratorProtocol+Map.swift
[605/1002] Compiling ContainersPreview BorrowingIteratorProtocol+Reduce.swift
[606/1002] Compiling ContainersPreview BorrowingIteratorProtocol+SpanwiseZip.swift
[607/1002] Compiling ContainersPreview BorrowingIteratorProtocol.swift
[608/1002] Compiling ContainersPreview BorrowingSequence+Algorithms.swift
[609/1006] Emitting module ContainersPreview
[610/1006] Compiling ContainersPreview Container+SpanwiseZip.swift
[611/1006] Compiling ContainersPreview Container.swift
[612/1006] Compiling ContainersPreview ContainerIterator.swift
[613/1006] Compiling ContainersPreview DynamicContainer.swift
[614/1006] Compiling ContainersPreview MutableContainer.swift
[615/1006] Compiling ContainersPreview PermutableContainer.swift
[616/1006] Compiling ContainersPreview RandomAccessContainer.swift
[617/1006] Compiling ContainersPreview RangeExpression2.swift
[618/1006] Compiling ContainersPreview RangeReplaceableContainer.swift
[619/1006] Compiling ContainersPreview Strideable+Limits.swift
[621/1006] Compiling HashTreeCollections TreeSet+Codable.swift
[629/1006] Compiling SwiftSyntax SyntaxNodesD.swift
[630/1006] Compiling SwiftSyntax SyntaxNodesEF.swift
[631/1006] Compiling SwiftSyntax SyntaxNodesGHI.swift
[632/1006] Compiling SwiftSyntax SyntaxNodesJKLMN.swift
[633/1006] Compiling SwiftSyntax SyntaxNodesOP.swift
[634/1006] Compiling SwiftSyntax SyntaxNodesQRS.swift
[635/1006] Compiling SwiftSyntax SyntaxNodesTUVWXYZ.swift
[636/1006] Compiling HashTreeCollections TreeDictionary+MapValues.swift
[637/1006] Compiling HashTreeCollections TreeDictionary+Merge.swift
[638/1006] Compiling HashTreeCollections TreeDictionary+Sendable.swift
[639/1006] Compiling HashTreeCollections TreeDictionary+Sequence.swift
[640/1006] Compiling HashTreeCollections TreeDictionary+Values.swift
[641/1006] 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,
[642/1006] 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,
[643/1006] 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,
[644/1006] 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,
[645/1006] 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,
[646/1006] 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,
[647/1006] 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,
[648/1006] 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,
[649/1006] 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,
[650/1006] 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,
[651/1006] 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,
[652/1006] 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,
[653/1006] Compiling ContainersPreview Ref.swift
[654/1006] Compiling ContainersPreview Shared.swift
[655/1006] Compiling ContainersPreview SpanIterator.swift
[656/1006] Compiling ContainersPreview UniqueBox.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,
/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,
[670/1007] Compiling HashTreeCollections TreeSet+SetAlgebra isEqualSet.swift
[671/1007] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSubset.swift
[672/1007] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSuperset.swift
[673/1007] Compiling HashTreeCollections TreeSet+SetAlgebra isSubset.swift
[674/1007] Compiling HashTreeCollections TreeSet+SetAlgebra isSuperset.swift
[675/1007] Compiling HashTreeCollections TreeSet+SetAlgebra subtract.swift
[676/1007] Compiling HashTreeCollections TreeSet+SetAlgebra subtracting.swift
[677/1007] Compiling HashTreeCollections TreeSet+SetAlgebra symmetricDifference.swift
[678/1007] Compiling HashTreeCollections TreeSet+SetAlgebra union.swift
[679/1007] Compiling HashTreeCollections TreeSet.swift
[680/1007] Emitting module OrderedCollections
[682/1049] Compiling DequeModule UniqueDeque+Hashable.swift
[683/1049] Compiling DequeModule UniqueDeque+Initializers.swift
[684/1049] Compiling DequeModule UniqueDeque+Insertions.swift
[685/1049] Compiling DequeModule UniqueDeque+Prepend.swift
[686/1049] Compiling DequeModule UniqueDeque+Removals.swift
[687/1054] Compiling DequeModule RigidDeque+Equatable.swift
[688/1054] Compiling DequeModule RigidDeque+Experimental.swift
[689/1054] Compiling DequeModule RigidDeque+Hashable.swift
[690/1054] Compiling DequeModule RigidDeque+Initializers.swift
[691/1054] Compiling DequeModule RigidDeque+Insertions.swift
[692/1054] Compiling DequeModule RigidDeque+Prepend.swift
[693/1054] Compiling DequeModule UniqueDeque+Container.swift
[694/1054] Compiling DequeModule UniqueDeque+Deprecated.swift
[695/1054] Compiling DequeModule UniqueDeque+Descriptions.swift
[696/1054] Compiling DequeModule UniqueDeque+Equatable.swift
[697/1054] Compiling DequeModule UniqueDeque+Experimental.swift
[698/1054] Compiling DequeModule RigidDeque+Removals.swift
[699/1054] Compiling DequeModule RigidDeque+Replacements.swift
[700/1054] Compiling DequeModule RigidDeque+Testing.swift
[701/1054] Compiling DequeModule RigidDeque.swift
[702/1054] Compiling DequeModule UniqueDeque+Append.swift
[703/1054] Compiling DequeModule UniqueDeque+Consumption.swift
[705/1054] Compiling DequeModule _DequeBuffer.swift
[706/1054] Compiling DequeModule _DequeBufferHeader.swift
[707/1054] Compiling DequeModule RigidDeque+Append.swift
[708/1054] Compiling DequeModule RigidDeque+Consumption.swift
[709/1054] Compiling DequeModule RigidDeque+Container.swift
[710/1054] Compiling DequeModule RigidDeque+Descriptions.swift
[711/1054] Compiling DequeModule UniqueDeque+Replacements.swift
[712/1054] Compiling DequeModule UniqueDeque.swift
[713/1054] Compiling DequeModule _DequeSlot.swift
[714/1054] Compiling DequeModule _UnsafeDequeHandle.swift
[721/1095] Compiling DequeModule _DequeBufferHeader.swift
[722/1095] Compiling DequeModule RigidDeque+Append.swift
[723/1095] Compiling DequeModule RigidDeque+Consumption.swift
[724/1095] Compiling DequeModule RigidDeque+Container.swift
[725/1095] Compiling DequeModule RigidDeque+Descriptions.swift
[726/1095] Compiling DequeModule RigidDeque+Equatable.swift
[727/1095] Compiling DequeModule RigidDeque+Experimental.swift
[728/1095] Compiling DequeModule RigidDeque+Hashable.swift
[729/1095] Compiling DequeModule RigidDeque+Initializers.swift
[730/1095] Compiling DequeModule RigidDeque+Insertions.swift
[731/1095] Compiling DequeModule RigidDeque+Prepend.swift
[732/1095] Compiling DequeModule UniqueDeque+Hashable.swift
[733/1095] Compiling DequeModule UniqueDeque+Initializers.swift
[741/1095] Compiling PropertyLawKit SemilatticeLaws.swift
[742/1095] Compiling PropertyLawKit SequenceLaws.swift
[743/1095] Compiling PropertyLawKit SetAlgebraLaws.swift
[744/1095] Compiling PropertyLawKit SignedIntegerLaws.swift
[745/1095] Compiling PropertyLawKit SignedNumericLaws.swift
[746/1095] Compiling PropertyLawKit StableIdentity.swift
[760/1095] Compiling DequeModule Deque+Extras.swift
[761/1095] Compiling DequeModule Deque+Hashable.swift
[762/1095] Compiling DequeModule Deque+Testing.swift
[763/1095] Compiling DequeModule Deque._Storage.swift
[764/1095] Compiling DequeModule Deque._UnsafeHandle.swift
[765/1095] Compiling DequeModule Deque.swift
[766/1095] Compiling DequeModule Deque+Codable.swift
[767/1095] Compiling DequeModule Deque+Collection.swift
[768/1095] Compiling DequeModule Deque+CustomReflectable.swift
[769/1095] Compiling DequeModule Deque+Descriptions.swift
[770/1095] Compiling DequeModule Deque+Equatable.swift
[771/1095] Compiling DequeModule Deque+ExpressibleByArrayLiteral.swift
[772/1095] Compiling DequeModule _DequeBuffer.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[818/1100] Compiling DequeModule RigidDeque+Removals.swift
[819/1100] Compiling DequeModule RigidDeque+Replacements.swift
[820/1100] Compiling DequeModule RigidDeque+Testing.swift
[821/1100] Compiling DequeModule RigidDeque.swift
[822/1100] Compiling DequeModule UniqueDeque+Append.swift
[823/1100] Compiling DequeModule UniqueDeque+Consumption.swift
[826/1100] Compiling DequeModule UniqueDeque+Insertions.swift
[827/1100] Compiling DequeModule UniqueDeque+Prepend.swift
[828/1100] Compiling DequeModule UniqueDeque+Removals.swift
[829/1100] Compiling DequeModule UniqueDeque+Container.swift
[830/1100] Compiling DequeModule UniqueDeque+Deprecated.swift
[831/1100] Compiling DequeModule UniqueDeque+Descriptions.swift
[832/1100] Compiling DequeModule UniqueDeque+Equatable.swift
[833/1100] Compiling DequeModule UniqueDeque+Experimental.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[879/1100] Emitting module HashTreeCollections
[892/1112] Compiling ComplexModule Complex+AdditiveArithmetic.swift
[893/1112] Compiling ComplexModule Complex+AlgebraicField.swift
[894/1112] Compiling ComplexModule Complex+Codable.swift
[895/1112] Compiling ComplexModule Complex+ElementaryFunctions.swift
[896/1112] Compiling ComplexModule Complex+Hashable.swift
[897/1112] Compiling ComplexModule Complex+IntegerLiteral.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,
[915/1112] Compiling DequeModule UniqueDeque+Replacements.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,
[916/1112] Compiling DequeModule UniqueDeque.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,
[917/1112] Compiling DequeModule _DequeSlot.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,
[918/1112] Compiling DequeModule _UnsafeDequeHandle.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,
[919/1112] Compiling DequeModule _UnsafeDequeSegments.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,
[952/1112] Compiling ComplexModule Complex+Numeric.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,
BUILD FAILURE 6.1 wasm