Swift Package IndexBuild Information
Failed to build SwiftPropertyLaws, reference v4.10.0 (9e774f), with Swift 6.1 for Android on 13 Oct 2026 02:20:02 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-54344849-2":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/saguaro1/spi-images:android-6.1-latest swift build --swift-sdk aarch64-unknown-linux-android24 2>&1Build Log
/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,
[1074/1419] Compiling PropertyLawKit EveryCaseLaws.swift
<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,
[1075/1419] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
<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,
[1076/1419] Compiling PropertyLawKit FloatingPointCommutativityLaws.swift
<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,
[1077/1419] Compiling PropertyLawKit FloatingPointLaws.swift
<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,
[1078/1419] Compiling PropertyLawKit FoundationGenerators.swift
<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,
[1079/1419] Compiling PropertyLawKit Group.swift
<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,
[1080/1419] Compiling PropertyLawKit GroupLaws.swift
<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,
[1081/1419] Compiling PropertyLawKit HashableLaws.swift
<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,
[1082/1419] Compiling PropertyLawKit IdentifiableLaws.swift
<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,
[1083/1419] Compiling PropertyLawKit InteractionInvariant.swift
<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,
[1084/1419] Compiling PropertyLawKit InteractionInvariantLaws+Async.swift
<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,
[1084/1419] Wrapping AST for SwiftSyntax602 for debugging
[1085/1419] Wrapping AST for SwiftSyntax601 for debugging
[1086/1419] Wrapping AST for SwiftSyntax510 for debugging
[1087/1419] Wrapping AST for SwiftSyntax509 for debugging
[1087/1419] Wrapping AST for SwiftSyntax600 for debugging
[1088/1419] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[1089/1419] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
<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
<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
<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
<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
<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
<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-2":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/saguaro1/spi-images:android-6.1-latest swift build --swift-sdk aarch64-unknown-linux-android24 2>&1
android-6.1-latest: Pulling from saguaro1/spi-images
Digest: sha256:396310cef4466ceb116ed5462b0b92d4deb353c0dad749b406b7fd226f6db9af
Status: Image is up to date for registry.gitlab.com/saguaro1/spi-images:android-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/54] Emitting module SwiftSyntax602
[4/54] Compiling SwiftSyntax602 Empty.swift
[5/55] Emitting module SwiftSyntax600
[6/55] Compiling SwiftSyntax600 Empty.swift
[8/56] Emitting module SwiftSyntax602
[9/56] Compiling SwiftSyntax602 Empty.swift
[10/57] Emitting module SwiftSyntax601
[11/57] Compiling SwiftSyntax601 Empty.swift
[12/58] Emitting module SwiftSyntax600
[13/58] Compiling SwiftSyntax510 Empty.swift
[14/58] Emitting module SwiftSyntax510
[17/60] Compiling SwiftSyntax601 Empty.swift
[19/60] Emitting module SwiftSyntax601
[20/60] Compiling SwiftSyntax510 Empty.swift
[27/121] Compiling SwiftSyntax509 Empty.swift
[28/121] Emitting module SwiftSyntax509
[29/122] Compiling RealModule RealFunctions.swift
[30/154] Compiling SwiftSyntax509 Empty.swift
[31/154] Emitting module SwiftSyntax509
[32/155] Compiling PropertyBased Mutex.swift
[33/155] Compiling PropertyBased PropertyCheck+Pack.swift
[34/155] Compiling PropertyBased Date+String.swift
[35/155] Compiling PropertyBased EnableShrinkTrait.swift
[37/188] Compiling RealModule Float80+Real.swift
[38/188] Compiling RealModule Real.swift
[39/188] Compiling RealModule RelaxedArithmetic.swift
[41/187] Compiling PropertyBased MaximumAttemptsTrait.swift
[42/187] Compiling PropertyBased Shrink+Float.swift
[43/189] Compiling RealModule RealFunctions.swift
[44/190] Compiling RealModule RelaxedArithmetic.swift
[45/190] Compiling PropertyBased Gen+Duration.swift
[46/190] Compiling PropertyBased Gen+Float.swift
[47/190] Compiling PropertyBased Gen+Color.swift
[48/190] Compiling PropertyBased Gen+Date.swift
[49/190] Compiling RealModule Float16+Real.swift
[50/190] Compiling RealModule Real.swift
[51/190] Compiling RealModule Float80+Real.swift
[52/271] Compiling SwiftSyntax SyntaxIdentifier.swift
[53/271] Compiling SwiftSyntax SyntaxNodeStructure.swift
[54/271] Compiling RealModule Float16+Real.swift
[55/271] Compiling SwiftSyntax BumpPtrAllocator.swift
[56/271] Compiling SwiftSyntax CommonAncestor.swift
[57/271] Compiling SwiftSyntax SyntaxChildren.swift
[58/271] Compiling SwiftSyntax SyntaxCollection.swift
[59/271] Compiling SwiftSyntax SyntaxHashable.swift
[60/271] Emitting module RealModule
[61/271] Compiling SwiftSyntax AbsolutePosition.swift
[62/271] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[63/271] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[64/271] Compiling SwiftSyntax Assert.swift
[70/274] Compiling InternalCollectionsUtilities _SortedCollection.swift
[71/274] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[72/274] Compiling SwiftSyntax SourcePresence.swift
[73/274] Compiling SwiftSyntax SwiftSyntaxCompatibility.swift
[74/274] Compiling SwiftSyntax Syntax.swift
[82/274] Compiling SwiftSyntax SourceLength.swift
[83/274] Compiling SwiftSyntax SourceLocation.swift
[84/274] Compiling SwiftSyntax Convenience.swift
[85/274] Compiling SwiftSyntax CustomTraits.swift
[86/274] Compiling SwiftSyntax EditorPlaceholder.swift
[87/274] Emitting module RealModule
[92/279] Emitting module PropertyLawCore
[101/279] Compiling SwiftSyntax Utils.swift
[102/279] Compiling SwiftSyntax ChildNameForKeyPath.swift
[103/279] Compiling SwiftSyntax Keyword.swift
[104/279] Compiling SwiftSyntax RenamedChildrenCompatibility.swift
[112/283] Compiling SwiftSyntax SyntaxProtocol.swift
[113/283] Compiling SwiftSyntax SyntaxText.swift
[125/322] Compiling SwiftSyntax SyntaxIdentifier.swift
[126/322] Compiling SwiftSyntax SyntaxNodeStructure.swift
[127/322] Compiling SwiftSyntax SyntaxProtocol.swift
[128/322] Compiling SwiftSyntax SyntaxText.swift
[129/347] Compiling SwiftSyntax SwiftSyntaxCompatibility.swift
[130/347] Compiling SwiftSyntax Syntax.swift
[131/347] Compiling SwiftSyntax SyntaxChildren.swift
[132/347] Compiling SwiftSyntax SyntaxCollection.swift
[133/347] Compiling SwiftSyntax SyntaxHashable.swift
[135/365] Compiling SwiftSyntax SourceLocation.swift
[136/365] Compiling SwiftSyntax SourcePresence.swift
[137/366] Compiling SwiftSyntax EditorPlaceholder.swift
[138/366] Compiling SwiftSyntax SourceLength.swift
[146/366] Compiling InternalCollectionsUtilities RandomAccessCollection+Offsets.swift
[147/366] Compiling InternalCollectionsUtilities Span+Extras.swift
[148/366] Compiling InternalCollectionsUtilities UnsafeBufferPointer+Extras.swift
[149/366] Compiling InternalCollectionsUtilities UnsafeMutableBufferPointer+Extras.swift
[150/366] Compiling InternalCollectionsUtilities Debugging.swift
[151/366] Compiling InternalCollectionsUtilities Descriptions.swift
[152/366] Compiling InternalCollectionsUtilities FixedWidthInteger+roundUpToPowerOfTwo.swift
[153/366] Compiling InternalCollectionsUtilities Integer rank.swift
[154/366] Compiling InternalCollectionsUtilities UInt+first and last set bit.swift
[155/366] Compiling InternalCollectionsUtilities UnsafeMutableRawBufferPointer+Extras.swift
[156/366] Compiling InternalCollectionsUtilities UnsafeRawBufferPointer+Extras.swift
[158/378] Compiling InternalCollectionsUtilities LifetimeOverride.swift
[162/378] Compiling ComplexModule Complex+Hashable.swift
[163/378] Compiling ComplexModule Complex+IntegerLiteral.swift
[164/378] Compiling ComplexModule Complex+Codable.swift
[165/378] Compiling ComplexModule Complex+ElementaryFunctions.swift
[167/378] Compiling InternalCollectionsUtilities _SortedCollection.swift
[168/378] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[171/378] Compiling ComplexModule Complex+AdditiveArithmetic.swift
[172/378] Compiling ComplexModule Complex+AlgebraicField.swift
[173/378] Compiling InternalCollectionsUtilities String+Padding.swift
[174/378] Compiling InternalCollectionsUtilities _UnsafeBitSet+Index.swift
[178/378] Emitting module InternalCollectionsUtilities
[181/378] Compiling ComplexModule Complex+Numeric.swift
[188/379] Compiling ComplexModule Polar.swift
[189/379] Compiling ComplexModule Complex+StringConvertible.swift
[192/379] Compiling ComplexModule Complex.swift
[195/390] Compiling ComplexModule Complex+ElementaryFunctions.swift
[196/390] Compiling ComplexModule Complex+Hashable.swift
[197/390] Compiling ComplexModule Complex+IntegerLiteral.swift
[203/390] Compiling InternalCollectionsUtilities _UnsafeBitSet+_Word.swift
[204/390] Compiling InternalCollectionsUtilities _UnsafeBitSet.swift
[205/391] Compiling ComplexModule Scale.swift
[206/391] Emitting module PropertyBased
[211/392] Compiling ComplexModule Complex.swift
[212/392] Compiling ComplexModule Complex+StringConvertible.swift
[213/392] Compiling ComplexModule Complex+Numeric.swift
[214/392] Compiling ComplexModule Polar.swift
[214/392] Wrapping AST for SwiftSyntax600 for debugging
[216/392] Emitting module InternalCollectionsUtilities
[217/392] Compiling ComplexModule Complex+Codable.swift
[219/392] Compiling ComplexModule Complex+AdditiveArithmetic.swift
[220/392] Compiling ComplexModule Complex+AlgebraicField.swift
[221/392] Compiling ComplexModule Scale.swift
[222/392] Compiling SwiftSyntax SyntaxTreeViewMode.swift
[223/392] Compiling SwiftSyntax TokenDiagnostic.swift
[224/392] Compiling SwiftSyntax TokenSequence.swift
[225/392] Compiling SwiftSyntax TokenSyntax.swift
[237/452] Compiling OrderedCollections _HashTable+Constants.swift
[238/452] Compiling OrderedCollections _HashTable+CustomStringConvertible.swift
[239/452] Compiling OrderedCollections _HashTable+Testing.swift
[240/452] Compiling OrderedCollections _HashTable+UnsafeHandle.swift
[241/452] Emitting module ComplexModule
[245/553] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[246/562] Compiling HeapModule Heap+Descriptions.swift
[248/702] Compiling HeapModule Heap.swift
[249/702] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formSymmetricDifference.swift
[250/702] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formUnion.swift
[251/702] Compiling OrderedCollections OrderedSet+Partial SetAlgebra intersection.swift
[252/702] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isDisjoint.swift
[253/702] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isEqualSet.swift
[254/702] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSubset.swift
[255/702] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSuperset.swift
[256/702] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSubset.swift
[257/705] Compiling HeapModule _HeapNode.swift
[258/709] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSuperset.swift
[259/709] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtract.swift
[260/709] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtracting.swift
[261/709] Compiling OrderedCollections OrderedSet+Partial SetAlgebra symmetricDifference.swift
[262/709] Compiling OrderedCollections OrderedSet+Partial SetAlgebra union.swift
[263/709] Compiling OrderedCollections OrderedSet+Partial SetAlgebra+Basics.swift
[264/709] Compiling OrderedCollections OrderedSet+RandomAccessCollection.swift
[265/709] Compiling OrderedCollections OrderedSet+ReserveCapacity.swift
[266/709] Compiling HeapModule Heap+Invariants.swift
[267/709] Compiling HeapModule Heap+UnsafeHandle.swift
[268/711] Compiling OrderedCollections OrderedDictionary+Hashable.swift
[269/711] Compiling OrderedCollections OrderedDictionary+Initializers.swift
[270/711] Compiling OrderedCollections OrderedDictionary+Invariants.swift
[271/711] Compiling OrderedCollections OrderedDictionary+Move.swift
[272/711] Compiling OrderedCollections OrderedDictionary+Partial MutableCollection.swift
[273/711] Compiling OrderedCollections OrderedDictionary+Partial RangeReplaceableCollection.swift
[274/711] Compiling OrderedCollections OrderedDictionary+Sendable.swift
[275/711] Compiling OrderedCollections OrderedDictionary+Sequence.swift
[276/711] Emitting module HeapModule
[277/712] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[278/712] Emitting module PropertyLawComplex
[305/720] Emitting module PropertyLawKit
[306/734] Compiling OrderedCollections _HashTable+Bucket.swift
[307/734] Compiling OrderedCollections _HashTable+BucketIterator.swift
[308/734] Compiling OrderedCollections _HashTable+Constants.swift
[309/734] Compiling OrderedCollections _HashTable+CustomStringConvertible.swift
[310/734] Compiling OrderedCollections _HashTable+Testing.swift
[311/734] Compiling OrderedCollections _HashTable+UnsafeHandle.swift
[312/734] Compiling OrderedCollections _HashTable.swift
[313/734] Compiling OrderedCollections _Hashtable+Header.swift
[314/734] Compiling OrderedCollections OrderedDictionary+Values.swift
[315/734] Compiling OrderedCollections OrderedDictionary.swift
[316/734] Compiling OrderedCollections OrderedSet+Codable.swift
[317/734] Compiling OrderedCollections OrderedSet+CustomReflectable.swift
[318/734] Compiling OrderedCollections OrderedSet+Descriptions.swift
[319/734] Compiling OrderedCollections OrderedSet+Diffing.swift
[320/734] Compiling OrderedCollections OrderedSet+Equatable.swift
[321/734] Compiling OrderedCollections OrderedSet+ExpressibleByArrayLiteral.swift
[322/734] Compiling OrderedCollections OrderedDictionary+Codable.swift
[323/734] Compiling OrderedCollections OrderedDictionary+CustomReflectable.swift
[324/734] Compiling OrderedCollections OrderedDictionary+Deprecations.swift
[325/734] Compiling OrderedCollections OrderedDictionary+Descriptions.swift
[326/734] Compiling OrderedCollections OrderedDictionary+Elements.SubSequence.swift
[327/734] Compiling OrderedCollections OrderedDictionary+Elements.swift
[328/734] Compiling OrderedCollections OrderedDictionary+Equatable.swift
[329/734] Compiling OrderedCollections OrderedDictionary+ExpressibleByDictionaryLiteral.swift
[330/734] Compiling OrderedCollections OrderedSet+Hashable.swift
[331/734] Compiling OrderedCollections OrderedSet+Initializers.swift
[332/734] Compiling OrderedCollections OrderedSet+Insertions.swift
[333/734] Compiling OrderedCollections OrderedSet+Invariants.swift
[334/734] Compiling OrderedCollections OrderedSet+Move.swift
[335/734] Compiling OrderedCollections OrderedSet+Partial MutableCollection.swift
[336/734] Compiling OrderedCollections OrderedSet+Partial RangeReplaceableCollection.swift
[337/734] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formIntersection.swift
[359/753] Compiling HeapModule Heap+Descriptions.swift
[360/753] Emitting module PropertyLawComplex
[361/753] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[362/754] Compiling HeapModule _HeapNode.swift
[380/754] Compiling HeapModule Heap+Invariants.swift
[381/754] Compiling HeapModule Heap.swift
[382/754] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[383/754] Compiling HeapModule Heap+UnsafeHandle.swift
[384/754] Compiling OrderedCollections OrderedSet+Sendable.swift
[385/754] Compiling OrderedCollections OrderedSet+SubSequence.swift
[386/754] Compiling OrderedCollections OrderedSet+Testing.swift
[387/754] Compiling OrderedCollections OrderedSet+UnorderedView.swift
[388/754] Compiling OrderedCollections OrderedSet+UnstableInternals.swift
[389/754] Compiling OrderedCollections OrderedSet.swift
[390/754] Compiling OrderedCollections _UnsafeBitset.swift
[391/754] Emitting module PropertyLawKit
[392/754] Emitting module HeapModule
[402/831] 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,
[403/831] 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,
[404/831] 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,
[405/831] 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,
[406/831] 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,
[407/831] 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,
[408/831] 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,
[409/831] 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,
[410/831] 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,
[411/831] 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,
[412/831] 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,
[413/831] 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,
[414/831] Compiling HashTreeCollections TreeDictionary+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,
[415/831] Compiling HashTreeCollections TreeDictionary+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,
[416/831] Compiling HashTreeCollections TreeDictionary+Values.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,
[417/831] Compiling HashTreeCollections TreeDictionary.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[418/831] Compiling HashTreeCollections TreeSet+Codable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[419/831] Compiling HashTreeCollections TreeSet+Collection.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[420/831] Compiling HashTreeCollections TreeSet+CustomReflectable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[421/831] Compiling HashTreeCollections TreeSet+Debugging.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[422/831] Compiling HashTreeCollections TreeSet+Descriptions.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[423/831] Compiling HashTreeCollections TreeSet+Equatable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[424/831] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[425/831] Compiling HashTreeCollections TreeSet+Extras.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[426/831] Compiling HashTreeCollections TreeSet+Filter.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[427/831] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[428/831] Compiling PropertyLawKit Ring.swift
[429/831] Compiling PropertyLawKit RingLaws.swift
[430/831] Compiling PropertyLawKit SameResult.swift
[431/831] Compiling PropertyLawKit Semigroup.swift
[432/831] Compiling PropertyLawKit SemigroupLaws.swift
[433/831] Compiling PropertyLawKit Semilattice.swift
[434/831] Compiling PropertyLawKit SemilatticeLaws.swift
[435/831] Compiling PropertyLawKit SequenceLaws.swift
[436/831] Compiling PropertyLawKit SetAlgebraLaws.swift
[437/831] Compiling PropertyLawKit SignedIntegerLaws.swift
[438/831] Compiling PropertyLawKit SignedNumericLaws.swift
[439/831] Compiling PropertyLawKit StableIdentity.swift
[440/831] Compiling HashTreeCollections TreeSet+Hashable.swift
[441/831] Compiling HashTreeCollections TreeSet+Sendable.swift
[442/831] Compiling HashTreeCollections TreeSet+Sequence.swift
[443/831] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[444/831] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[445/831] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[446/831] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[447/831] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[448/831] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[449/831] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[450/831] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[451/831] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[452/831] Compiling PropertyLawKit RawRepresentableLaws.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,
[472/907] Emitting module OrderedCollections
[473/908] Compiling HashTreeCollections _HashTreeStatistics.swift
[474/908] Compiling HashTreeCollections _RawHashNode+UnsafeHandle.swift
[475/908] Compiling HashTreeCollections _RawHashNode.swift
[476/908] Compiling HashTreeCollections _UnmanagedHashNode.swift
[477/908] Compiling HashTreeCollections _UnsafePath.swift
[478/908] Compiling HashTreeCollections TreeDictionary+Codable.swift
[479/908] Compiling HashTreeCollections TreeDictionary+Collection.swift
[480/908] Compiling HashTreeCollections TreeDictionary+CustomReflectable.swift
[481/908] Compiling HashTreeCollections TreeDictionary+Debugging.swift
[482/908] Compiling HashTreeCollections TreeDictionary+Descriptions.swift
[484/918] Compiling HashTreeCollections _Bucket.swift
[485/918] Compiling HashTreeCollections _Hash.swift
[486/918] Compiling HashTreeCollections _HashLevel.swift
[487/918] Compiling HashTreeCollections _HashNode+Builder.swift
[488/918] Compiling HashTreeCollections _HashNode+Debugging.swift
[489/918] Compiling HashTreeCollections _HashNode+Initializers.swift
[490/918] Compiling HashTreeCollections _HashNode+Invariants.swift
[491/918] Compiling HashTreeCollections _HashNode+Lookups.swift
[492/918] Compiling HashTreeCollections _HashNode+Primitive Insertions.swift
[493/918] Compiling HashTreeCollections _HashNode+Structural subtracting.swift
[494/918] Compiling HashTreeCollections _HashNode+Structural symmetricDifference.swift
[495/918] Compiling HashTreeCollections _HashNode+Structural union.swift
[496/918] Compiling HashTreeCollections _HashNode+Subtree Insertions.swift
[497/918] Compiling HashTreeCollections _HashNode+Primitive Removals.swift
[498/918] Compiling HashTreeCollections _HashNode+Primitive Replacement.swift
[499/918] Compiling HashTreeCollections _HashNode+Storage.swift
[500/918] Compiling HashTreeCollections _HashNode+Structural compactMapValues.swift
[501/918] Compiling HashTreeCollections _HashNode+Structural filter.swift
[502/918] Compiling HashTreeCollections _HashNode+Structural intersection.swift
[503/918] Compiling HashTreeCollections _HashNode+Structural isDisjoint.swift
[504/918] Compiling HashTreeCollections _HashNode+Structural isEqualSet.swift
[505/918] Compiling HashTreeCollections _HashNode+Structural isSubset.swift
[506/918] Compiling HashTreeCollections _HashNode+Structural mapValues.swift
[507/918] Compiling HashTreeCollections _HashNode+Structural merge.swift
[508/918] Compiling HashTreeCollections _AncestorHashSlots.swift
[509/918] Compiling HashTreeCollections _Bitmap.swift
[510/918] Compiling HashTreeCollections TreeDictionary+MapValues.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[511/918] Compiling HashTreeCollections TreeDictionary+Merge.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[512/918] Compiling HashTreeCollections TreeDictionary+Sendable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[513/918] Compiling HashTreeCollections TreeDictionary+Sequence.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,
[514/918] Compiling HashTreeCollections TreeDictionary+Values.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,
[515/918] Compiling HashTreeCollections TreeDictionary.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,
[516/918] Compiling HashTreeCollections TreeSet+Codable.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,
[517/918] Compiling HashTreeCollections TreeSet+Collection.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[518/918] Compiling HashTreeCollections TreeSet+CustomReflectable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[519/918] Compiling HashTreeCollections TreeSet+Debugging.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[520/918] Compiling HashTreeCollections TreeSet+Descriptions.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[521/918] Compiling HashTreeCollections TreeSet+Equatable.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[522/918] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.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,
[523/918] Compiling HashTreeCollections TreeSet+Hashable.swift
[524/918] Compiling HashTreeCollections TreeSet+Sendable.swift
[525/918] Compiling HashTreeCollections TreeSet+Sequence.swift
[526/918] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[527/918] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[528/918] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[529/918] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[530/918] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[531/918] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[532/918] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[550/928] Compiling HashTreeCollections _HashNode+Subtree Modify.swift
BUILD FAILURE 6.1 android