Swift Package IndexBuild Information
Failed to build SwiftPropertyLaws, reference main (9e774f), with Swift 6.1 for Wasm on 13 Oct 2026 02:19:40 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-54344849-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
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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
/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,
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-54344849-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>&1
wasm-6.1-latest: Pulling from saguaro1/spi-images
Digest: sha256:005e294ea72e7f7733559677ac003354f37dc6afb35c5bbab6bc9a95fc174f44
Status: Image is up to date for registry.gitlab.com/saguaro1/spi-images:wasm-6.1-latest
[0/1] Planning build
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:36:59: warning: 'path' is deprecated: renamed to 'url'
34 | let tool = try context.tool(named: "PropertyLawDiscoveryTool")
35 | let process = Process()
36 | process.executableURL = URL(fileURLWithPath: tool.path.string)
| |- warning: 'path' is deprecated: renamed to 'url'
| `- note: use 'url' instead
37 | var toolArgs: [String] = [
38 | "--target", target,
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:36:64: warning: 'string' is deprecated: Use `URL` type instead of `Path`.
34 | let tool = try context.tool(named: "PropertyLawDiscoveryTool")
35 | let process = Process()
36 | process.executableURL = URL(fileURLWithPath: tool.path.string)
| `- warning: 'string' is deprecated: Use `URL` type instead of `Path`.
37 | var toolArgs: [String] = [
38 | "--target", target,
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:77:40: warning: 'directory' is deprecated: renamed to 'directoryURL'
75 | /// doesn't exist; commit 5 will create the dir if missing.
76 | private func defaultOutputPath(for target: Target, in context: PluginContext) -> String {
77 | let testsDir = context.package.directory
| |- warning: 'directory' is deprecated: renamed to 'directoryURL'
| `- note: use 'directoryURL' instead
78 | .appending(["Tests", "\(target.name)Tests"])
79 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:78:14: warning: 'appending' is deprecated: Use `URL` type instead of `Path`.
76 | private func defaultOutputPath(for target: Target, in context: PluginContext) -> String {
77 | let testsDir = context.package.directory
78 | .appending(["Tests", "\(target.name)Tests"])
| `- warning: 'appending' is deprecated: Use `URL` type instead of `Path`.
79 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
80 | }
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:79:25: warning: 'appending' is deprecated: Use `URL` type instead of `Path`.
77 | let testsDir = context.package.directory
78 | .appending(["Tests", "\(target.name)Tests"])
79 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
| `- warning: 'appending' is deprecated: Use `URL` type instead of `Path`.
80 | }
81 |
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:79:73: warning: 'string' is deprecated: Use `URL` type instead of `Path`.
77 | let testsDir = context.package.directory
78 | .appending(["Tests", "\(target.name)Tests"])
79 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
| `- warning: 'string' is deprecated: Use `URL` type instead of `Path`.
80 | }
81 |
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:129:26: warning: 'path' is deprecated: renamed to 'url'
127 | guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
128 | return sourceModuleTarget.sourceFiles
129 | .filter { $0.path.extension == "swift" }
| |- warning: 'path' is deprecated: renamed to 'url'
| `- note: use 'url' instead
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/46] Emitting module SwiftSyntax601
[4/48] Compiling SwiftSyntax601 Empty.swift
[5/48] Emitting module SwiftSyntax601
[6/55] Compiling SwiftSyntax602 Empty.swift
[7/55] Emitting module SwiftSyntax602
[8/55] Compiling SwiftSyntax602 Empty.swift
[11/54] Compiling SwiftSyntax601 Empty.swift
[12/55] Emitting module SwiftSyntax600
[13/55] Compiling SwiftSyntax600 Empty.swift
[14/56] Emitting module SwiftSyntax602
[15/57] Compiling SwiftSyntax510 Empty.swift
[16/57] Emitting module SwiftSyntax510
[18/58] Compiling SwiftSyntax600 Empty.swift
[19/58] Emitting module SwiftSyntax600
[20/58] Compiling SwiftSyntax510 Empty.swift
[21/58] Emitting module SwiftSyntax510
[27/69] Compiling SwiftSyntax509 Empty.swift
[28/69] Emitting module SwiftSyntax509
[29/70] Compiling RealModule RealFunctions.swift
[30/83] Compiling SwiftSyntax509 Empty.swift
[31/89] Emitting module SwiftSyntax509
[33/123] Compiling RealModule Real.swift
[34/122] Compiling RealModule Float80+Real.swift
[35/132] Compiling RealModule RelaxedArithmetic.swift
[36/132] Compiling RealModule Float16+Real.swift
[37/144] Compiling PropertyBased Gen+Frequency.swift
[38/144] Compiling PropertyBased Generator.swift
[39/154] Compiling RealModule RealFunctions.swift
[41/184] Compiling RealModule Real.swift
[42/184] Compiling RealModule Float80+Real.swift
[43/202] Compiling InternalCollectionsUtilities Integer rank.swift
[44/202] Compiling InternalCollectionsUtilities UInt+first and last set bit.swift
[45/202] Compiling InternalCollectionsUtilities UInt+reversed.swift
[46/202] Compiling InternalCollectionsUtilities String+Padding.swift
[47/202] Compiling PropertyBased MaximumAttemptsTrait.swift
[48/202] Compiling PropertyBased Mutex.swift
[49/204] Compiling RealModule RelaxedArithmetic.swift
[50/204] Compiling RealModule Float16+Real.swift
[51/204] Compiling InternalCollectionsUtilities _UnsafeBitSet+Index.swift
[52/204] Compiling InternalCollectionsUtilities LifetimeOverride.swift
[55/249] Compiling SwiftSyntax SyntaxCollection.swift
[56/249] Compiling SwiftSyntax SyntaxHashable.swift
[57/269] Emitting module RealModule
[60/272] Compiling SwiftSyntax Identifier.swift
[61/272] Compiling SwiftSyntax MemoryLayout.swift
[62/272] Compiling SwiftSyntax MissingNodeInitializers.swift
[63/272] Compiling SwiftSyntax RawSyntax.swift
[64/272] Compiling SwiftSyntax SwiftSyntaxCompatibility.swift
[65/272] Compiling SwiftSyntax Syntax.swift
[66/272] Compiling SwiftSyntax SyntaxChildren.swift
[69/272] Emitting module RealModule
[70/273] Emitting module PropertyLawCore
[71/273] Compiling SwiftSyntax SourceLength.swift
[72/273] Compiling SwiftSyntax SourceLocation.swift
[73/273] Compiling SwiftSyntax SourcePresence.swift
[75/273] Emitting module PropertyLawCore
[76/273] Compiling InternalCollectionsUtilities _SortedCollection.swift
[77/273] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[79/273] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[80/273] Compiling SwiftSyntax RawSyntaxTokenView.swift
[81/273] Compiling SwiftSyntax SourceEdit.swift
[83/273] Compiling SwiftSyntax RawSyntaxArena.swift
[84/273] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[88/336] Compiling SwiftSyntax AbsolutePosition.swift
[89/336] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[90/336] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[91/336] Compiling SwiftSyntax Identifier.swift
[92/336] Compiling SwiftSyntax MemoryLayout.swift
[93/336] Compiling SwiftSyntax MissingNodeInitializers.swift
[94/337] Compiling SwiftSyntax RawSyntaxArena.swift
[95/337] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[96/354] Compiling InternalCollectionsUtilities _UnsafeBitSet.swift
[97/354] Compiling InternalCollectionsUtilities UnsafeBufferPointer+Extras.swift
[98/354] Compiling InternalCollectionsUtilities UnsafeMutableBufferPointer+Extras.swift
[99/354] Compiling SwiftSyntax Syntax.swift
[100/354] Compiling SwiftSyntax SyntaxChildren.swift
[101/354] Compiling SwiftSyntax SyntaxCollection.swift
[102/354] Compiling SwiftSyntax SyntaxHashable.swift
[103/354] Compiling SwiftSyntax SyntaxIdentifier.swift
[104/354] Compiling SwiftSyntax SyntaxNodeStructure.swift
[105/354] Compiling SwiftSyntax SyntaxProtocol.swift
[106/354] Compiling SwiftSyntax SyntaxText.swift
[107/358] Compiling InternalCollectionsUtilities Integer rank.swift
[108/358] Compiling InternalCollectionsUtilities UInt+first and last set bit.swift
[109/358] Compiling InternalCollectionsUtilities UInt+reversed.swift
[114/362] Compiling InternalCollectionsUtilities UnsafeMutableRawBufferPointer+Extras.swift
[115/362] Compiling InternalCollectionsUtilities UnsafeRawBufferPointer+Extras.swift
[116/364] Compiling InternalCollectionsUtilities Debugging.swift
[117/364] Compiling InternalCollectionsUtilities Descriptions.swift
[118/364] Compiling InternalCollectionsUtilities FixedWidthInteger+roundUpToPowerOfTwo.swift
[119/364] Compiling InternalCollectionsUtilities LifetimeOverride.swift
[120/364] Compiling InternalCollectionsUtilities RandomAccessCollection+Offsets.swift
[121/364] Compiling InternalCollectionsUtilities Span+Extras.swift
[131/364] Compiling SwiftSyntax SourceLocation.swift
[132/364] Compiling SwiftSyntax SourcePresence.swift
[133/365] Compiling InternalCollectionsUtilities _SortedCollection.swift
[134/365] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[135/365] Emitting module InternalCollectionsUtilities
[139/364] Compiling InternalCollectionsUtilities _UnsafeBitSet+Index.swift
[140/364] Compiling InternalCollectionsUtilities _UnsafeBitSet+_Word.swift
[147/364] Compiling InternalCollectionsUtilities String+Padding.swift
[169/364] Compiling SwiftSyntax SwiftSyntaxCompatibility.swift
[200/377] Emitting module PropertyBased
[203/376] Compiling ComplexModule Complex+Hashable.swift
[204/376] Compiling ComplexModule Complex+IntegerLiteral.swift
[205/378] Compiling ComplexModule Polar.swift
[206/401] Compiling ComplexModule Complex+Numeric.swift
[207/427] Emitting module InternalCollectionsUtilities
[208/445] Compiling ComplexModule Complex+StringConvertible.swift
[209/445] Compiling ComplexModule Complex.swift
[210/445] Compiling ComplexModule Scale.swift
[211/445] Compiling OrderedCollections OrderedDictionary.swift
[212/445] Compiling OrderedCollections OrderedSet+Codable.swift
[213/445] Compiling OrderedCollections OrderedSet+CustomReflectable.swift
[214/445] Compiling OrderedCollections OrderedSet+Descriptions.swift
[215/446] Compiling ComplexModule Complex+Numeric.swift
[217/447] Compiling ComplexModule Complex+Hashable.swift
[218/447] Compiling ComplexModule Complex+IntegerLiteral.swift
[219/447] Compiling ComplexModule Polar.swift
[220/447] Compiling ComplexModule Complex.swift
[221/447] Compiling ComplexModule Complex+StringConvertible.swift
[222/447] Compiling OrderedCollections OrderedDictionary+Equatable.swift
[223/447] Compiling OrderedCollections OrderedDictionary+ExpressibleByDictionaryLiteral.swift
[224/447] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formSymmetricDifference.swift
[225/447] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formUnion.swift
[230/456] Compiling ComplexModule Scale.swift
[233/456] Compiling ComplexModule Complex+Codable.swift
[234/456] Compiling ComplexModule Complex+ElementaryFunctions.swift
[236/456] Compiling HeapModule Heap+Descriptions.swift
[240/456] Compiling OrderedCollections OrderedSet+Partial SetAlgebra intersection.swift
[241/456] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isDisjoint.swift
[242/456] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isEqualSet.swift
[243/456] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSubset.swift
[244/456] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSuperset.swift
[245/456] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSubset.swift
[246/463] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSuperset.swift
[247/463] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtract.swift
[248/463] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtracting.swift
[249/463] Compiling OrderedCollections OrderedSet+Partial SetAlgebra symmetricDifference.swift
[250/463] Compiling OrderedCollections OrderedSet+Partial SetAlgebra union.swift
[251/463] Compiling OrderedCollections OrderedSet+Partial SetAlgebra+Basics.swift
[252/463] Compiling OrderedCollections OrderedSet+RandomAccessCollection.swift
[253/463] Compiling OrderedCollections OrderedSet+ReserveCapacity.swift
[254/463] Compiling OrderedCollections OrderedDictionary+Values.swift
[259/463] Compiling OrderedCollections OrderedSet+Diffing.swift
[260/463] Compiling OrderedCollections OrderedSet+Equatable.swift
[261/463] Compiling OrderedCollections OrderedSet+ExpressibleByArrayLiteral.swift
[262/463] Emitting module ComplexModule
[264/464] Compiling OrderedCollections OrderedDictionary+Hashable.swift
[265/464] Compiling OrderedCollections OrderedDictionary+Initializers.swift
[266/464] Compiling OrderedCollections OrderedDictionary+Invariants.swift
[267/464] Compiling OrderedCollections OrderedDictionary+Move.swift
[268/464] Compiling OrderedCollections OrderedDictionary+Partial MutableCollection.swift
[269/464] Compiling OrderedCollections OrderedDictionary+Partial RangeReplaceableCollection.swift
[270/464] Compiling OrderedCollections OrderedDictionary+Sendable.swift
[271/464] Compiling OrderedCollections OrderedDictionary+Sequence.swift
[272/464] Compiling OrderedCollections OrderedDictionary+Codable.swift
[273/464] Compiling OrderedCollections OrderedDictionary+CustomReflectable.swift
[274/464] Compiling OrderedCollections OrderedDictionary+Deprecations.swift
[275/464] Compiling OrderedCollections OrderedDictionary+Descriptions.swift
[276/464] Compiling OrderedCollections OrderedDictionary+Elements.SubSequence.swift
[277/464] Compiling OrderedCollections OrderedDictionary+Elements.swift
[280/495] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[281/495] Compiling HeapModule Heap+UnsafeHandle.swift
[282/495] Compiling HeapModule Heap+Invariants.swift
[283/503] Compiling HeapModule _HeapNode.swift
[284/507] Compiling OrderedCollections _HashTable+Constants.swift
[285/507] Compiling OrderedCollections _HashTable+CustomStringConvertible.swift
[286/507] Compiling OrderedCollections _HashTable+Bucket.swift
[287/507] Compiling OrderedCollections _HashTable+BucketIterator.swift
[288/521] Compiling HeapModule Heap.swift
[289/521] Emitting module ComplexModule
[290/535] Emitting module HeapModule
[291/707] Compiling PropertyLawKit LawSuppression.swift
[292/707] Compiling PropertyLawKit PropertyLawViolation.swift
[293/707] Compiling PropertyLawKit Seed.swift
[294/707] Compiling PropertyLawKit SequenceLawOptions.swift
[295/707] Compiling PropertyLawKit SpaceCoverage.swift
[296/707] Compiling PropertyLawKit StrictnessTier.swift
[297/707] Compiling PropertyLawKit TrialBudget.swift
[298/707] Compiling PropertyLawKit PropertyLawKit.swift
[301/707] Compiling PropertyLawKit CollectionLaws.swift
[302/707] Compiling PropertyLawKit CommutativeMonoid.swift
[303/707] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[304/707] Compiling PropertyLawKit ComparableLaws.swift
[305/707] Compiling PropertyLawKit CoverageClassifier.swift
[306/707] Compiling PropertyLawKit DefensiveCopy.swift
[307/707] Compiling PropertyLawKit DefensiveCopyLaws.swift
[308/707] Compiling PropertyLawKit Enumeration.swift
[309/723] Compiling PropertyLawKit AggregateDriver.swift
[310/723] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[311/723] Compiling PropertyLawKit CheckPreflight.swift
[312/723] Compiling PropertyLawKit CoverageAccumulator.swift
[313/723] Compiling PropertyLawKit DrawPoolDriver.swift
[314/723] Compiling PropertyLawKit EnumerationDriver.swift
[315/723] Compiling PropertyLawKit EqualValueLawBuilders.swift
[316/723] Compiling PropertyLawKit InheritedLawCollector.swift
[317/723] Compiling PropertyLawKit LawCheckBuilders.swift
[318/723] Compiling PropertyLawKit LawSuppressionPolicy.swift
[319/723] Compiling PropertyLawKit NearMissCollector.swift
[320/723] Compiling PropertyLawKit PerLawDriver.swift
[321/723] Compiling PropertyLawKit PropertyLawSuiteRunner.swift
[322/723] Compiling PropertyLawKit BinaryIntegerLaws.swift
[323/723] Compiling PropertyLawKit CaseIterableLaws.swift
[324/723] Compiling PropertyLawKit CodableLaws.swift
[325/723] Compiling HeapModule Heap+Descriptions.swift
[326/723] Emitting module PropertyLawComplex
[327/723] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[328/724] Compiling OrderedCollections OrderedSet+Sendable.swift
[329/724] Compiling OrderedCollections OrderedSet+SubSequence.swift
[330/724] Compiling OrderedCollections OrderedSet+Testing.swift
[331/724] Compiling OrderedCollections OrderedSet+UnorderedView.swift
[332/724] Compiling OrderedCollections OrderedSet+UnstableInternals.swift
[333/724] Compiling OrderedCollections OrderedSet.swift
[334/724] Compiling OrderedCollections _UnsafeBitset.swift
[335/724] Compiling HeapModule Heap.swift
[336/724] Compiling HeapModule _HeapNode.swift
[338/724] Compiling PropertyLawKit CodableRoundTripMode.swift
[339/724] Compiling PropertyLawKit EnforcementMode.swift
[340/724] Compiling PropertyLawKit Environment.swift
[341/724] Compiling PropertyLawKit EqualValuePairing.swift
[342/724] Compiling PropertyLawKit InputSource.swift
[343/724] Compiling PropertyLawKit LawCheckOptions.swift
[344/724] Compiling PropertyLawKit LawIdentifier.swift
[345/724] Compiling PropertyLawKit LawSelection.swift
[346/724] Emitting module HeapModule
[347/724] Compiling HeapModule Heap+UnsafeHandle.swift
[348/724] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[349/724] Compiling HeapModule Heap+Invariants.swift
[400/755] Emitting module PropertyLawKit
[401/767] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[402/767] Emitting module PropertyLawComplex
[404/844] Compiling HashTreeCollections TreeDictionary+Filter.swift
[405/844] Compiling HashTreeCollections TreeDictionary+Hashable.swift
[406/844] Compiling HashTreeCollections TreeDictionary+Initializers.swift
[407/844] Compiling HashTreeCollections TreeDictionary+Keys.swift
[408/844] Compiling HashTreeCollections TreeDictionary+MapValues.swift
[409/844] Compiling HashTreeCollections TreeDictionary+Merge.swift
[410/844] Compiling HashTreeCollections TreeDictionary+Sendable.swift
[411/844] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[412/844] Compiling PropertyLawKit Ring.swift
[413/844] Compiling PropertyLawKit RingLaws.swift
[414/844] Compiling PropertyLawKit SameResult.swift
[415/844] Compiling PropertyLawKit Semigroup.swift
[416/844] Compiling PropertyLawKit SemigroupLaws.swift
[417/844] Compiling PropertyLawKit Semilattice.swift
[418/844] Compiling PropertyLawKit SemilatticeLaws.swift
[419/844] Compiling PropertyLawKit SequenceLaws.swift
[420/844] Compiling PropertyLawKit SetAlgebraLaws.swift
[421/844] Compiling PropertyLawKit SignedIntegerLaws.swift
[422/844] Compiling PropertyLawKit SignedNumericLaws.swift
[423/844] Compiling PropertyLawKit StableIdentity.swift
[424/844] Compiling HashTreeCollections TreeSet+Extras.swift
[425/844] Compiling HashTreeCollections TreeSet+Filter.swift
[426/844] Compiling HashTreeCollections TreeDictionary+Equatable.swift
[427/844] Compiling HashTreeCollections TreeDictionary+ExpressibleByDictionaryLiteral.swift
[435/844] Compiling HashTreeCollections TreeDictionary+Sequence.swift
[436/844] Compiling HashTreeCollections TreeDictionary+Values.swift
[437/844] Compiling HashTreeCollections TreeSet+Debugging.swift
[438/844] Compiling HashTreeCollections TreeSet+Descriptions.swift
[439/844] Compiling HashTreeCollections TreeSet+Equatable.swift
[440/844] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.swift
[445/844] Compiling HashTreeCollections _HashNode+Structural union.swift
[446/844] Compiling HashTreeCollections _HashNode+Subtree Insertions.swift
[447/844] Compiling HashTreeCollections _HashNode+Subtree Modify.swift
[448/844] Compiling HashTreeCollections _HashNode+Subtree Removals.swift
[449/844] Compiling HashTreeCollections _HashNode+UnsafeHandle.swift
[450/844] Compiling HashTreeCollections _HashNode.swift
[451/844] Compiling HashTreeCollections _HashNodeHeader.swift
[452/844] Compiling HashTreeCollections _HashSlot.swift
[453/844] Compiling HashTreeCollections TreeDictionary+Collection.swift
[454/844] Compiling HashTreeCollections TreeDictionary+CustomReflectable.swift
[455/844] Compiling HashTreeCollections TreeDictionary+Debugging.swift
[456/844] Compiling HashTreeCollections TreeDictionary+Descriptions.swift
[457/844] Compiling HashTreeCollections TreeDictionary.swift
[458/844] Compiling HashTreeCollections TreeSet+Codable.swift
[459/844] Compiling HashTreeCollections TreeSet+Collection.swift
[460/844] Compiling HashTreeCollections TreeSet+CustomReflectable.swift
[461/844] Emitting module PropertyLawKit
[462/844] Compiling HashTreeCollections _HashNode+Primitive Removals.swift
[463/844] Compiling HashTreeCollections _HashNode+Primitive Replacement.swift
[464/844] Compiling HashTreeCollections _HashNode+Storage.swift
[465/844] Compiling HashTreeCollections _HashNode+Structural compactMapValues.swift
[466/844] Compiling HashTreeCollections _HashNode+Structural filter.swift
[467/844] Compiling HashTreeCollections _HashNode+Structural intersection.swift
[468/844] Compiling HashTreeCollections _HashNode+Structural isDisjoint.swift
[469/844] Compiling HashTreeCollections _HashNode+Structural isEqualSet.swift
[470/844] Compiling HashTreeCollections TreeSet+Hashable.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,
[471/844] Compiling HashTreeCollections TreeSet+Sendable.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,
[472/844] Compiling HashTreeCollections TreeSet+Sequence.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,
[473/844] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.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,
[474/844] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[475/844] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.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,
[476/844] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.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,
[477/844] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.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,
[478/844] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.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,
[479/844] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[480/844] Compiling PropertyLawKit IdentifiableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[481/844] Compiling PropertyLawKit InteractionInvariant.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[482/844] Compiling PropertyLawKit InteractionInvariantLaws+Async.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[483/920] Compiling HashTreeCollections TreeSet+Hashable.swift
[484/920] Compiling HashTreeCollections TreeSet+Sendable.swift
[485/920] Compiling HashTreeCollections TreeSet+Sequence.swift
[486/920] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[487/920] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[488/920] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[489/920] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[490/920] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[491/920] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[492/920] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[493/930] 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,
[494/930] 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,
[495/930] 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,
[496/930] 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,
[497/930] 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,
[498/930] 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,
[499/930] 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,
[500/930] 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,
[501/930] 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,
[502/930] 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,
[503/930] 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,
[504/930] 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,
[505/930] Emitting module OrderedCollections
[506/931] Compiling HashTreeCollections TreeDictionary+Equatable.swift
[507/931] Compiling HashTreeCollections TreeDictionary+ExpressibleByDictionaryLiteral.swift
[508/931] Compiling HashTreeCollections TreeDictionary+Filter.swift
[509/931] Compiling HashTreeCollections TreeDictionary+Hashable.swift
[510/931] Compiling HashTreeCollections TreeDictionary+Initializers.swift
[511/931] Compiling HashTreeCollections TreeDictionary+Keys.swift
[512/931] Compiling HashTreeCollections TreeDictionary+MapValues.swift
[513/931] Compiling HashTreeCollections TreeDictionary+Merge.swift
[514/931] Compiling HashTreeCollections TreeDictionary+Sendable.swift
[515/931] Compiling HashTreeCollections TreeDictionary+Sequence.swift
[516/931] Compiling HashTreeCollections TreeDictionary+Values.swift
[517/931] Compiling HashTreeCollections TreeDictionary.swift
[518/931] Compiling HashTreeCollections TreeSet+Codable.swift
[519/931] Compiling HashTreeCollections TreeSet+Collection.swift
[520/931] Compiling HashTreeCollections TreeSet+CustomReflectable.swift
[521/931] Compiling HashTreeCollections TreeSet+Debugging.swift
[522/931] Compiling HashTreeCollections TreeSet+Descriptions.swift
[523/931] Compiling HashTreeCollections TreeSet+Equatable.swift
[524/931] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.swift
[525/931] Compiling HashTreeCollections TreeSet+Extras.swift
[526/931] Compiling HashTreeCollections TreeSet+Filter.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,
[540/967] Compiling ContainersPreview BidirectionalContainer.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,
[541/967] Compiling ContainersPreview Container+Filter.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[542/967] Compiling ContainersPreview PermutableContainer.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,
[543/967] Compiling ContainersPreview RandomAccessContainer.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,
[544/967] Compiling ContainersPreview RangeExpression2.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,
[545/967] Compiling ContainersPreview RangeReplaceableContainer.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,
[546/967] Compiling ContainersPreview Strideable+Limits.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[547/967] Compiling ContainersPreview Container+SpanwiseZip.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,
[548/967] Compiling ContainersPreview Container.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,
[549/967] Compiling ContainersPreview ContainerIterator.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,
[550/967] Compiling ContainersPreview DynamicContainer.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,
[551/967] Compiling ContainersPreview MutableContainer.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,
[552/967] Compiling ContainersPreview Drain+Map.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,
[553/967] Compiling ContainersPreview Drain+Reduce.swift
[554/967] Compiling ContainersPreview Drain.swift
[555/967] Compiling ContainersPreview Producer+Collect.swift
[556/967] Compiling ContainersPreview Producer+Filter.swift
[557/967] Compiling ContainersPreview Producer+Map.swift
[558/967] Compiling ContainersPreview Producer+Reduce.swift
[559/967] Compiling ContainersPreview Producer.swift
[560/967] Compiling ContainersPreview InputSpan.swift
[561/967] Compiling ContainersPreview MutableRef.swift
[562/967] Compiling HashTreeCollections _RawHashNode+UnsafeHandle.swift
[563/967] Compiling HashTreeCollections _RawHashNode.swift
[564/967] Compiling HashTreeCollections _UnmanagedHashNode.swift
[565/967] Compiling HashTreeCollections _UnsafePath.swift
[566/967] Compiling HashTreeCollections TreeDictionary+Codable.swift
[567/967] Compiling HashTreeCollections TreeDictionary+Collection.swift
[568/967] Compiling HashTreeCollections TreeDictionary+CustomReflectable.swift
[569/967] Compiling HashTreeCollections TreeDictionary+Debugging.swift
[570/967] Compiling HashTreeCollections TreeDictionary+Descriptions.swift
[579/967] Emitting module ContainersPreview
[590/974] Compiling HashTreeCollections TreeSet+SetAlgebra isEqualSet.swift
[591/974] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSubset.swift
[592/974] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSuperset.swift
[593/974] Compiling HashTreeCollections TreeSet+SetAlgebra isSubset.swift
[594/974] Compiling HashTreeCollections TreeSet+SetAlgebra isSuperset.swift
[595/974] Compiling HashTreeCollections TreeSet+SetAlgebra subtract.swift
[596/974] Compiling HashTreeCollections TreeSet+SetAlgebra subtracting.swift
[597/974] Compiling HashTreeCollections TreeSet+SetAlgebra symmetricDifference.swift
[598/974] Compiling HashTreeCollections TreeSet+SetAlgebra union.swift
[599/974] Compiling HashTreeCollections TreeSet.swift
[600/974] Compiling ContainersPreview BorrowingIteratorProtocol+Map.swift
[601/974] Compiling ContainersPreview BorrowingIteratorProtocol+Reduce.swift
[602/974] Compiling ContainersPreview BorrowingIteratorProtocol+SpanwiseZip.swift
[603/974] Compiling ContainersPreview BorrowingIteratorProtocol.swift
[604/974] Compiling ContainersPreview BorrowingSequence+Algorithms.swift
[605/981] Compiling ContainersPreview OutputSpan+Extras.swift
[606/981] Compiling ContainersPreview TemporaryAllocation.swift
[607/981] Compiling ContainersPreview BorrowingIteratorProtocol+Copy.swift
[608/981] Compiling ContainersPreview BorrowingIteratorProtocol+ElementsEqual.swift
[609/981] Compiling ContainersPreview BorrowingIteratorProtocol+Filter.swift
[610/981] Compiling ContainersPreview BorrowingSequence+Standard Conformances.swift
[611/981] Compiling ContainersPreview BorrowingSequence+Utilities.swift
[612/981] Compiling ContainersPreview BorrowingSequence.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