Build Information
Successful build of SwiftPropertyLaws, reference v4.10.0 (9e774f), with Swift 6.3 for macOS (SPM) on 13 Oct 2026 02:33:07 UTC.
Swift 6 data race errors: 0
Build Command
env DEVELOPER_DIR=/Applications/Xcode-26.5.0.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 5.1.1
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Reference: v4.10.0
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/Joseph-Cursio/SwiftPropertyLaws
* tag v4.10.0 -> FETCH_HEAD
HEAD is now at 9e774fb Merge pull request #69 from Joseph-Cursio/scope-chain-type-lookup
Cloned https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Revision (git rev-parse @):
9e774fb84293658d9d0c4620f8cfcff26a8bfbb5
SUCCESS checkout https://github.com/Joseph-Cursio/SwiftPropertyLaws.git at v4.10.0
Fetching https://github.com/x-sheep/swift-property-based.git
Fetching https://github.com/swiftlang/swift-syntax.git
Fetching https://github.com/apple/swift-numerics.git
Fetching https://github.com/apple/swift-collections.git
Fetching https://github.com/apple/swift-async-algorithms.git
[1/1335] Fetching swift-property-based
[28/8156] Fetching swift-property-based, swift-async-algorithms
[29/14899] Fetching swift-property-based, swift-async-algorithms, swift-numerics
[4123/43643] Fetching swift-property-based, swift-async-algorithms, swift-numerics, swift-collections
[20649/124110] Fetching swift-property-based, swift-async-algorithms, swift-numerics, swift-collections, swift-syntax
Fetched https://github.com/apple/swift-collections.git from cache (4.43s)
Fetched https://github.com/apple/swift-async-algorithms.git from cache (4.87s)
Fetched https://github.com/apple/swift-numerics.git from cache (4.87s)
Fetched https://github.com/swiftlang/swift-syntax.git from cache (4.88s)
Fetched https://github.com/x-sheep/swift-property-based.git from cache (4.88s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (8.19s)
Computing version for https://github.com/x-sheep/swift-property-based.git
Computed https://github.com/x-sheep/swift-property-based.git at 2.0.1 (0.56s)
Computing version for https://github.com/apple/swift-numerics.git
Computed https://github.com/apple/swift-numerics.git at 1.1.1 (0.55s)
Computing version for https://github.com/apple/swift-collections.git
Computed https://github.com/apple/swift-collections.git at 1.7.3 (0.65s)
Computing version for https://github.com/apple/swift-async-algorithms.git
Computed https://github.com/apple/swift-async-algorithms.git at 1.1.7 (0.61s)
Creating working copy for https://github.com/x-sheep/swift-property-based.git
Working copy of https://github.com/x-sheep/swift-property-based.git resolved at 2.0.1
Creating working copy for https://github.com/apple/swift-async-algorithms.git
Working copy of https://github.com/apple/swift-async-algorithms.git resolved at 1.1.7
Creating working copy for https://github.com/apple/swift-collections.git
Working copy of https://github.com/apple/swift-collections.git resolved at 1.7.3
Creating working copy for https://github.com/apple/swift-numerics.git
Working copy of https://github.com/apple/swift-numerics.git resolved at 1.1.1
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 602.0.0
========================================
ResolveProductDependencies
========================================
Resolving dependencies ...
{
"identity": ".resolve-product-dependencies",
"name": "resolve-dependencies",
"url": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"traits": [
"default"
],
"dependencies": [
{
"identity": "swiftpropertylaws",
"name": "SwiftPropertyLaws",
"url": "https://github.com/Joseph-Cursio/SwiftPropertyLaws.git",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/SwiftPropertyLaws",
"traits": [
"default"
],
"dependencies": [
{
"identity": "swift-property-based",
"name": "PropertyBased",
"url": "https://github.com/x-sheep/swift-property-based.git",
"version": "2.0.1",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-property-based",
"traits": [
"EnableShrinking"
],
"dependencies": [
]
},
{
"identity": "swift-syntax",
"name": "swift-syntax",
"url": "https://github.com/swiftlang/swift-syntax.git",
"version": "602.0.0",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-syntax",
"traits": [
"default"
],
"dependencies": [
]
},
{
"identity": "swift-numerics",
"name": "swift-numerics",
"url": "https://github.com/apple/swift-numerics.git",
"version": "1.1.1",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-numerics",
"traits": [
"default"
],
"dependencies": [
]
},
{
"identity": "swift-collections",
"name": "swift-collections",
"url": "https://github.com/apple/swift-collections.git",
"version": "1.7.3",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-collections",
"traits": [
],
"dependencies": [
]
},
{
"identity": "swift-async-algorithms",
"name": "swift-async-algorithms",
"url": "https://github.com/apple/swift-async-algorithms.git",
"version": "1.1.7",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-async-algorithms",
"traits": [
],
"dependencies": [
{
"identity": "swift-collections",
"name": "swift-collections",
"url": "https://github.com/apple/swift-collections.git",
"version": "1.7.3",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-collections",
"traits": [
],
"dependencies": [
]
}
]
}
]
}
]
}
Fetching https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
[1/3785] Fetching swiftpropertylaws
Fetched https://github.com/Joseph-Cursio/SwiftPropertyLaws.git from cache (1.21s)
Fetching https://github.com/swiftlang/swift-syntax.git from cache
Fetching https://github.com/apple/swift-async-algorithms.git from cache
Fetching https://github.com/x-sheep/swift-property-based.git from cache
Fetching https://github.com/apple/swift-collections.git from cache
Fetching https://github.com/apple/swift-numerics.git from cache
Fetched https://github.com/apple/swift-collections.git from cache (1.01s)
Fetched https://github.com/apple/swift-async-algorithms.git from cache (1.01s)
Fetched https://github.com/apple/swift-numerics.git from cache (1.01s)
Fetched https://github.com/swiftlang/swift-syntax.git from cache (1.01s)
Fetched https://github.com/x-sheep/swift-property-based.git from cache (1.01s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (1.09s)
Computing version for https://github.com/x-sheep/swift-property-based.git
Computed https://github.com/x-sheep/swift-property-based.git at 2.0.1 (0.03s)
Computing version for https://github.com/apple/swift-numerics.git
Computed https://github.com/apple/swift-numerics.git at 1.1.1 (0.03s)
Computing version for https://github.com/apple/swift-collections.git
Computed https://github.com/apple/swift-collections.git at 1.7.3 (0.05s)
Computing version for https://github.com/apple/swift-async-algorithms.git
Computed https://github.com/apple/swift-async-algorithms.git at 1.1.7 (0.04s)
Creating working copy for https://github.com/x-sheep/swift-property-based.git
Working copy of https://github.com/x-sheep/swift-property-based.git resolved at 2.0.1
Creating working copy for https://github.com/apple/swift-async-algorithms.git
Working copy of https://github.com/apple/swift-async-algorithms.git resolved at 1.1.7
Creating working copy for https://github.com/apple/swift-numerics.git
Working copy of https://github.com/apple/swift-numerics.git resolved at 1.1.1
Creating working copy for https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Working copy of https://github.com/Joseph-Cursio/SwiftPropertyLaws.git resolved at v4.10.0 (9e774fb)
Creating working copy for https://github.com/apple/swift-collections.git
Working copy of https://github.com/apple/swift-collections.git resolved at 1.7.3
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 602.0.0
warning: '.resolve-product-dependencies': dependency 'swiftpropertylaws' is not used by any target
Found 5 product dependencies
- PropertyBased
- swift-syntax
- swift-numerics
- swift-collections
- swift-async-algorithms
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.3
Building package at path: $PWD
https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-26.5.0.app xcrun swift build --arch arm64
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:36:59: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
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' [#DeprecatedDeclaration]
| `- note: use 'url' instead
37 | var toolArgs: [String] = [
38 | "--target", target,
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:36:64: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
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`. [#DeprecatedDeclaration]
37 | var toolArgs: [String] = [
38 | "--target", target,
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:77:40: warning: 'directory' is deprecated: renamed to 'directoryURL' [#DeprecatedDeclaration]
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' [#DeprecatedDeclaration]
| `- note: use 'directoryURL' instead
78 | .appending(["Tests", "\(target.name)Tests"])
79 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:78:14: warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
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`. [#DeprecatedDeclaration]
79 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
80 | }
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:79:25: warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
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`. [#DeprecatedDeclaration]
80 | }
81 |
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:79:73: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
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`. [#DeprecatedDeclaration]
80 | }
81 |
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:129:26: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
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' [#DeprecatedDeclaration]
| `- note: use 'url' instead
130 | .map { $0.path.string }
131 | .sorted()
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:129:31: warning: 'extension' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
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`. [#DeprecatedDeclaration]
130 | .map { $0.path.string }
131 | .sorted()
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:130:23: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
128 | return sourceModuleTarget.sourceFiles
129 | .filter { $0.path.extension == "swift" }
130 | .map { $0.path.string }
| |- warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
| `- note: use 'url' instead
131 | .sorted()
132 | }
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:130:28: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
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`. [#DeprecatedDeclaration]
131 | .sorted()
132 | }
[#DeprecatedDeclaration]: <https://docs.swift.org/compiler/documentation/diagnostics/deprecated-declaration>
[1/1] Compiling plugin PropertyLawDiscoveryPlugin
Building for debugging...
[1/82] Write sources
[46/82] Write PropertyLawDiscoveryTool-entitlement.plist
[46/82] Write sources
[46/82] Write PropertyLawDiscoveryTool-tool-entitlement.plist
[46/82] Write sources
[69/82] Compiling _NumericsShims _NumericsShims.c
[71/82] Write swift-version-69A768CDF2A0BEE1.txt
[72/98] Compiling _SwiftSyntaxCShims PlatformMutex.c
[75/100] Emitting module SwiftSyntax602
[76/100] Compiling SwiftSyntax602 Empty.swift
[77/100] Compiling SwiftSyntax600 Empty.swift
[78/100] Emitting module SwiftSyntax600
[79/100] Compiling SwiftSyntax601 Empty.swift
[80/100] Emitting module SwiftSyntax601
[81/100] Emitting module SwiftSyntax600
[82/100] Compiling SwiftSyntax600 Empty.swift
[83/100] Emitting module SwiftSyntax601
[84/100] Compiling SwiftSyntax601 Empty.swift
[85/100] Compiling SwiftSyntax510 Empty.swift
[87/100] Emitting module SwiftSyntax510
[89/100] Emitting module SwiftSyntax602
[90/100] Compiling SwiftSyntax602 Empty.swift
[91/100] Emitting module SwiftSyntax509
[92/100] Compiling SwiftSyntax509 Empty.swift
[94/102] Emitting module SwiftSyntax509
[95/284] Compiling RealModule RealFunctions.swift
[96/349] Compiling RealModule Float80+Real.swift
[97/350] Compiling RealModule RealFunctions.swift
[98/350] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[99/350] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[100/350] Compiling SwiftSyntax RawSyntaxTokenView.swift
[101/353] Compiling RealModule Float80+Real.swift
[102/353] Compiling RealModule Real.swift
[103/417] Compiling SwiftSyntax RawSyntaxNodesAB.swift
[104/417] Compiling SwiftSyntax RawSyntaxNodesC.swift
[105/417] Compiling SwiftSyntax RawSyntaxNodesD.swift
[106/417] Compiling SwiftSyntax RawSyntaxNodesTUVWXYZ.swift
[107/417] Compiling SwiftSyntax RawSyntaxValidation.swift
[108/417] Compiling SwiftSyntax SyntaxNodesAB.swift
[109/420] Compiling RealModule RelaxedArithmetic.swift
[113/420] Compiling SwiftSyntax AbsolutePosition.swift
[114/420] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[115/420] Compiling RealModule RelaxedArithmetic.swift
[116/420] Compiling SwiftSyntax MemoryLayout.swift
[117/420] Compiling SwiftSyntax MissingNodeInitializers.swift
[118/422] Compiling RealModule Real.swift
[119/422] Compiling RealModule Float16+Real.swift
[122/424] Compiling SwiftSyntax Convenience.swift
[123/424] Compiling SwiftSyntax Tokens.swift
[124/424] Compiling SwiftSyntax TriviaPieces.swift
[128/424] Compiling InternalCollectionsUtilities UnsafeRawBufferPointer+Extras.swift
[129/424] Compiling InternalCollectionsUtilities _SortedCollection.swift
[130/424] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[131/424] Compiling RealModule Float16+Real.swift
[132/424] Compiling RealModule ElementaryFunctions.swift
[133/424] Compiling RealModule Float+Real.swift
[134/424] Compiling SwiftSyntax EditorPlaceholder.swift
[135/424] Compiling SwiftSyntax Identifier.swift
[136/424] Compiling RealModule Float+Real.swift
[137/424] Compiling RealModule ElementaryFunctions.swift
[140/424] Compiling RealModule Double+Real.swift
[141/424] Compiling RealModule AugmentedArithmetic.swift
[142/424] Emitting module RealModule
[149/424] Compiling RealModule Double+Real.swift
[150/424] Compiling RealModule AugmentedArithmetic.swift
[151/424] Emitting module PropertyLawCore
[164/446] Compiling ComplexModule Complex+AdditiveArithmetic.swift
[165/446] Compiling ComplexModule Complex+AlgebraicField.swift
[166/446] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[167/446] Compiling SwiftSyntax Assert.swift
[168/446] Compiling SwiftSyntax BumpPtrAllocator.swift
[169/446] Compiling SwiftSyntax CommonAncestor.swift
[176/446] Compiling SwiftSyntax RawSyntaxNodesEF.swift
[177/446] Compiling SwiftSyntax RawSyntaxNodesGHI.swift
[178/446] Compiling SwiftSyntax CustomTraits.swift
[198/446] Compiling ComplexModule Complex+StringConvertible.swift
[199/446] Compiling ComplexModule Polar.swift
[206/447] Compiling ComplexModule Complex+IntegerLiteral.swift
[207/447] Compiling ComplexModule Complex.swift
[208/447] Compiling ComplexModule Complex+Numeric.swift
[209/447] Compiling ComplexModule Complex+StringConvertible.swift
[210/447] Compiling ComplexModule Polar.swift
[211/447] Compiling ComplexModule Complex.swift
[215/448] Compiling ComplexModule Scale.swift
[216/448] Compiling ComplexModule Complex+Hashable.swift
[217/448] Compiling ComplexModule Complex+Codable.swift
[218/448] Emitting module ComplexModule
[221/448] Compiling ComplexModule Complex+ElementaryFunctions.swift
[222/448] Compiling PropertyLawCore TodoReason.swift
[223/448] Compiling PropertyLawCore TypeShape.swift
[224/448] Compiling ComplexModule Scale.swift
[225/448] Compiling ComplexModule Complex+Numeric.swift
[226/448] Compiling ComplexModule Complex+Hashable.swift
[227/448] Compiling ComplexModule Complex+IntegerLiteral.swift
[228/448] Compiling ComplexModule Complex+Codable.swift
[231/448] Emitting module ComplexModule
[232/448] Compiling ComplexModule Complex+ElementaryFunctions.swift
[238/448] Compiling SwiftSyntax RawSyntaxNodesJKLMN.swift
[239/448] Compiling SwiftSyntax RawSyntaxNodesOP.swift
[240/448] Compiling SwiftSyntax RawSyntaxNodesQRS.swift
[247/448] Emitting module InternalCollectionsUtilities
[249/527] Compiling SpanPreview MutableSpan+InputSpanHelpers.swift
[250/527] Compiling SpanPreview InputSpan.swift
[251/527] Emitting module SpanPreview
[252/527] Compiling SpanPreview OutputSpan+InputSpanHelpers.swift
[254/655] Compiling SpanPreview MutableSpan+InputSpanHelpers.swift
[255/655] Emitting module SpanPreview
[256/655] Compiling SpanPreview InputSpan.swift
[257/721] Compiling HeapModule _HeapNode.swift
[258/721] Compiling HeapModule Heap+Testing.swift
[259/721] Compiling HeapModule Heap.swift
[260/721] Compiling HeapModule Heap+Invariants.swift
[261/721] Compiling HeapModule Heap+Descriptions.swift
[262/721] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[263/721] Compiling HeapModule Heap+UnsafeHandle.swift
[264/721] Emitting module HeapModule
[265/721] Compiling OrderedCollections OrderedDictionary+Codable.swift
[266/721] Compiling OrderedCollections OrderedDictionary+CustomReflectable.swift
[267/721] Compiling OrderedCollections OrderedDictionary+Deprecations.swift
[268/721] Compiling OrderedCollections OrderedDictionary+Descriptions.swift
[269/721] Compiling OrderedCollections OrderedDictionary+Elements.SubSequence.swift
[270/721] Compiling OrderedCollections OrderedDictionary+Elements.swift
[271/727] Compiling OrderedCollections OrderedSet+ExpressibleByArrayLiteral.swift
[272/727] Compiling OrderedCollections OrderedSet+Hashable.swift
[273/727] Compiling OrderedCollections _Hashtable+Header.swift
[277/733] Compiling OrderedCollections OrderedSet+Partial MutableCollection.swift
[278/733] Compiling OrderedCollections OrderedSet+Partial RangeReplaceableCollection.swift
[279/733] Compiling OrderedCollections OrderedSet+CustomReflectable.swift
[280/733] Compiling OrderedCollections OrderedSet+Descriptions.swift
[281/733] Compiling OrderedCollections OrderedSet+Diffing.swift
[282/733] Compiling OrderedCollections OrderedSet+Equatable.swift
[283/733] Compiling OrderedCollections OrderedDictionary+Move.swift
[284/733] Compiling OrderedCollections OrderedDictionary+Partial MutableCollection.swift
[285/733] Compiling OrderedCollections OrderedSet+Initializers.swift
[286/733] Compiling OrderedCollections OrderedSet+Insertions.swift
[287/733] Compiling OrderedCollections OrderedSet+Invariants.swift
[288/733] Compiling OrderedCollections OrderedSet+Move.swift
[289/733] Compiling HeapModule _HeapNode.swift
[290/733] Compiling HeapModule Heap.swift
[291/733] Compiling HeapModule Heap+Testing.swift
[292/733] Compiling HeapModule Heap+Invariants.swift
[293/733] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[294/733] Compiling HeapModule Heap+UnsafeHandle.swift
[295/811] Compiling HeapModule Heap+Descriptions.swift
[296/811] Emitting module HeapModule
[297/811] Compiling HashTreeCollections _HashNode+Invariants.swift
[298/811] Compiling HashTreeCollections TreeSet+Equatable.swift
[299/811] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.swift
[300/811] Compiling HashTreeCollections TreeSet+Extras.swift
[301/811] Compiling HashTreeCollections TreeSet+Filter.swift
[302/811] Compiling HashTreeCollections TreeSet+Hashable.swift
[303/811] Compiling HashTreeCollections TreeSet+Sendable.swift
[304/811] Compiling HashTreeCollections TreeSet+Sequence.swift
[305/819] Emitting module BitCollections
[306/819] Compiling HashTreeCollections _AncestorHashSlots.swift
[307/819] Compiling HashTreeCollections _Bitmap.swift
[308/819] Compiling HashTreeCollections _Bucket.swift
[309/819] Compiling HashTreeCollections _Hash.swift
[310/819] Compiling HashTreeCollections _HashLevel.swift
[311/819] Compiling HashTreeCollections _HashNode+Builder.swift
[312/819] Compiling HashTreeCollections _HashNode+Debugging.swift
[313/819] Compiling HashTreeCollections _HashNode+Initializers.swift
[318/819] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[319/819] Compiling HashTreeCollections _HashNode+Lookups.swift
[320/862] Compiling DequeModule UniqueDeque+Iterable.swift
[321/862] Compiling DequeModule UniqueDeque+Prepend.swift
[322/862] Compiling DequeModule UniqueDeque+Removals.swift
[323/862] Compiling DequeModule UniqueDeque+Replacements.swift
[324/862] Compiling DequeModule RigidDeque+Hashable.swift
[325/862] Compiling DequeModule RigidDeque+Initializers.swift
[327/868] Compiling DequeModule RigidDeque+Insertions.swift
[328/868] Compiling DequeModule RigidDeque+Iterable.swift
[329/868] Compiling DequeModule RigidDeque+Prepend.swift
[330/868] Compiling DequeModule RigidDeque+Removals.swift
[331/868] Compiling DequeModule RigidDeque+Replacements.swift
[332/868] Compiling DequeModule Deque+Codable.swift
[333/868] Compiling DequeModule Deque+Collection.swift
[334/868] Compiling DequeModule Deque+CustomReflectable.swift
[335/868] Compiling DequeModule Deque+Descriptions.swift
[336/868] Compiling DequeModule Deque+Equatable.swift
[337/868] Compiling DequeModule RigidDeque+Consumption.swift
[338/868] Compiling DequeModule RigidDeque+ContainerOperations.swift
[339/875] Compiling DequeModule UniqueDeque+Descriptions.swift
[345/875] Compiling DequeModule _DequeBuffer.swift
[346/875] Compiling DequeModule _DequeBufferHeader.swift
[347/875] Compiling DequeModule RigidDeque+Append.swift
[348/875] Compiling DequeModule UniqueDeque+Consumption.swift
[349/875] Compiling DequeModule UniqueDeque+ContainerOperations.swift
[350/875] Compiling DequeModule UniqueDeque+Deprecations.swift
[351/875] Compiling DequeModule UniqueDeque+Append.swift
[352/875] Compiling DequeModule UniqueDeque+Equatable.swift
[353/875] Compiling DequeModule UniqueDeque+Hashable.swift
[354/875] Compiling DequeModule UniqueDeque+Initializers.swift
[355/875] Compiling DequeModule UniqueDeque+Insertions.swift
[356/875] Compiling DequeModule Deque+ExpressibleByArrayLiteral.swift
[357/875] Compiling HashTreeCollections TreeDictionary+ExpressibleByDictionaryLiteral.swift
[358/875] Compiling HashTreeCollections TreeDictionary+Filter.swift
[359/875] Compiling HashTreeCollections TreeDictionary+Hashable.swift
[360/875] Compiling HashTreeCollections TreeDictionary+Initializers.swift
[361/875] Compiling HashTreeCollections TreeDictionary+Keys.swift
[362/875] Compiling HashTreeCollections TreeDictionary+MapValues.swift
[363/875] Compiling HashTreeCollections TreeDictionary+Merge.swift
[364/875] Compiling DequeModule Deque+Extras.swift
[365/875] Compiling DequeModule Deque+Hashable.swift
[366/875] Compiling DequeModule Deque+Testing.swift
[367/875] Compiling DequeModule Deque._Storage.swift
[368/875] Compiling HashTreeCollections _HashNode+Structural intersection.swift
[369/875] Compiling HashTreeCollections _HashNode+Structural isDisjoint.swift
[370/875] Compiling DequeModule RigidDeque+Deprecations.swift
[371/875] Compiling DequeModule RigidDeque+Descriptions.swift
[372/875] Compiling DequeModule RigidDeque+Equatable.swift
[373/875] Compiling DequeModule Deque._UnsafeHandle.swift
[374/875] Compiling DequeModule Deque.swift
[382/875] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSuperset.swift
[383/875] Compiling HashTreeCollections TreeSet+SetAlgebra isSubset.swift
[384/875] Compiling HashTreeCollections TreeSet+SetAlgebra isSuperset.swift
[385/875] Compiling HashTreeCollections TreeSet+SetAlgebra subtract.swift
[386/875] Compiling HashTreeCollections TreeSet+SetAlgebra subtracting.swift
[387/875] Compiling HashTreeCollections TreeSet+SetAlgebra symmetricDifference.swift
[388/875] Compiling HashTreeCollections TreeSet+SetAlgebra union.swift
[389/875] Compiling HashTreeCollections TreeSet.swift
[390/875] Compiling SwiftSyntax SyntaxNodesTUVWXYZ.swift
[391/875] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[392/875] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[393/875] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[394/875] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[395/875] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[396/875] Compiling HashTreeCollections TreeSet+SetAlgebra isEqualSet.swift
[397/875] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSubset.swift
[407/883] Compiling DequeModule RigidDeque+Testing.swift
[408/883] Compiling DequeModule RigidDeque.swift
[440/887] Compiling OrderedCollections OrderedSet+UnstableInternals.swift
[441/887] Compiling OrderedCollections OrderedSet.swift
[442/887] Compiling OrderedCollections _UnsafeBitset.swift
[443/887] Compiling SwiftSyntax SyntaxNodesD.swift
[444/887] Compiling SwiftSyntax SyntaxNodesEF.swift
[445/887] Compiling SwiftSyntax SyntaxNodesGHI.swift
[446/887] Compiling SwiftSyntax SyntaxNodesJKLMN.swift
[447/887] Compiling SwiftSyntax SyntaxNodesOP.swift
[448/887] Compiling SwiftSyntax SyntaxNodesQRS.swift
[449/887] Compiling HashTreeCollections TreeDictionary.swift
[450/887] Compiling HashTreeCollections TreeSet+Codable.swift
[451/887] Compiling HashTreeCollections TreeSet+Collection.swift
[452/887] Compiling OrderedCollections OrderedSet+SubSequence.swift
[453/887] Compiling OrderedCollections OrderedSet+Testing.swift
[454/887] Compiling OrderedCollections OrderedSet+UnorderedView.swift
[487/887] Compiling HashTreeCollections TreeDictionary+Sendable.swift
[488/887] Compiling HashTreeCollections TreeDictionary+Sequence.swift
[489/887] Compiling HashTreeCollections TreeDictionary+Values.swift
[496/887] Compiling DequeModule UniqueDeque.swift
[497/887] Compiling DequeModule _DequeSlot.swift
[498/887] Compiling DequeModule _UnsafeDequeHandle.swift
[499/887] Compiling DequeModule _UnsafeDequeSegments.swift
[519/887] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSuperset.swift
[520/887] Compiling HashTreeCollections TreeSet+SetAlgebra isSubset.swift
[521/887] Compiling HashTreeCollections TreeSet+SetAlgebra isSuperset.swift
[522/887] Compiling HashTreeCollections TreeSet+SetAlgebra subtract.swift
[523/887] Compiling HashTreeCollections TreeSet+SetAlgebra subtracting.swift
[524/887] Compiling HashTreeCollections TreeSet+SetAlgebra symmetricDifference.swift
[525/887] Compiling HashTreeCollections TreeSet+SetAlgebra union.swift
[526/887] Compiling HashTreeCollections TreeSet.swift
[633/937] Compiling DequeModule RigidDeque+Hashable.swift
[634/937] Compiling DequeModule RigidDeque+Initializers.swift
[635/937] Compiling DequeModule RigidDeque+Insertions.swift
[636/937] Compiling DequeModule RigidDeque+Iterable.swift
[637/937] Compiling DequeModule RigidDeque+Prepend.swift
[638/937] Compiling DequeModule Deque._UnsafeHandle.swift
[639/937] Compiling DequeModule Deque.swift
[640/937] Compiling DequeModule _DequeBuffer.swift
[641/937] Compiling DequeModule _DequeBufferHeader.swift
[642/937] Emitting module OrderedCollections
[643/937] Compiling DequeModule RigidDeque+Append.swift
[644/937] Compiling DequeModule RigidDeque+Removals.swift
[645/937] Compiling DequeModule RigidDeque+Replacements.swift
[646/937] Compiling DequeModule RigidDeque+Testing.swift
[647/937] Compiling DequeModule RigidDeque.swift
[648/937] Compiling DequeModule UniqueDeque+Append.swift
[649/937] Compiling DequeModule UniqueDeque+Consumption.swift
[650/937] Compiling DequeModule UniqueDeque+ContainerOperations.swift
[651/937] Compiling DequeModule UniqueDeque+Deprecations.swift
[652/937] Emitting module OrderedCollections
[653/992] Compiling BitCollections BitSet+Invariants.swift
[654/992] Compiling BitCollections BitSet+Random.swift
[655/992] Compiling BitCollections BitSet+SetAlgebra basics.swift
[656/992] Compiling BitCollections BitSet+Codable.swift
[657/992] Compiling BitCollections BitSet+CustomDebugStringConvertible.swift
[658/992] Compiling BitCollections BitSet+CustomReflectable.swift
[659/992] Compiling BitCollections BitSet+CustomStringConvertible.swift
[660/992] Compiling BitCollections BitSet+Equatable.swift
[661/992] Compiling BitCollections BitSet+ExpressibleByArrayLiteral.swift
[662/996] Compiling BitCollections BitArray+ExpressibleByStringLiteral.swift
[663/996] Compiling BitCollections BitArray+Extras.swift
[664/996] Compiling BitCollections BitSet+Extras.swift
[665/996] Compiling BitCollections BitSet+Hashable.swift
[666/996] Compiling BitCollections BitSet+Initializers.swift
[667/996] Compiling BitCollections BitArray+CustomReflectable.swift
[668/996] Compiling BitCollections BitArray+Descriptions.swift
[669/996] Compiling BitCollections BitArray+Equatable.swift
[670/996] Compiling BitCollections BitArray+ExpressibleByArrayLiteral.swift
[671/996] Compiling BitCollections BitArray+Hashable.swift
[672/996] Compiling BitCollections BitArray+Initializers.swift
[673/996] Compiling BitCollections BitArray+Invariants.swift
[674/996] Compiling BitCollections BitArray+LosslessStringConvertible.swift
[675/996] Compiling BitCollections BitArray+RandomBits.swift
[676/996] Compiling BitCollections BitSet+SetAlgebra intersection.swift
[677/996] Compiling BitCollections BitSet+SetAlgebra isDisjoint.swift
[684/996] Compiling DequeModule _UnsafeDequeHandle.swift
[685/996] Compiling DequeModule _UnsafeDequeSegments.swift
[686/996] Compiling BitCollections BitArray.swift
[687/996] Compiling BitCollections BitSet+BidirectionalCollection.swift
[688/996] Compiling BitCollections BitSet+SetAlgebra conformance.swift
[689/996] Compiling BitCollections BitSet+SetAlgebra formIntersection.swift
[690/996] Compiling BitCollections BitSet+SetAlgebra formSymmetricDifference.swift
[691/996] Compiling BitCollections BitSet+SetAlgebra formUnion.swift
[699/996] Compiling DequeModule UniqueDeque.swift
[700/996] Compiling DequeModule _DequeSlot.swift
[712/996] Compiling SwiftSyntax SyntaxNodesD.swift
[713/996] Compiling SwiftSyntax SyntaxNodesEF.swift
[714/996] Compiling SwiftSyntax SyntaxNodesGHI.swift
[715/996] Compiling SwiftSyntax SyntaxNodesJKLMN.swift
[716/996] Compiling SwiftSyntax SyntaxNodesOP.swift
[717/996] Compiling SwiftSyntax SyntaxNodesQRS.swift
[730/1002] Compiling BitCollections BinaryInteger extensions.swift
[731/1002] Compiling BitCollections BitArray+BitwiseOperations.swift
[732/1002] Compiling BitCollections BitArray+ChunkedBitsIterators.swift
[733/1002] Compiling BitCollections BitArray+Codable.swift
[734/1002] Compiling BitCollections BitArray+Collection.swift
[735/1002] Compiling BitCollections BitSet+SetAlgebra isSubset.swift
[736/1002] Compiling BitCollections BitSet+SetAlgebra isSuperset.swift
[737/1002] Compiling BitCollections BitSet+SetAlgebra subtract.swift
[738/1002] Compiling BitCollections BitSet+SetAlgebra subtracting.swift
[739/1002] Compiling BitCollections BitSet+SetAlgebra symmetricDifference.swift
[740/1002] Compiling BitCollections BitArray+Copy.swift
[741/1002] Compiling BitCollections BitSet+SetAlgebra isEqualSet.swift
[742/1002] Compiling BitCollections BitSet+SetAlgebra isStrictSubset.swift
[743/1002] Compiling BitCollections BitSet+SetAlgebra isStrictSuperset.swift
[744/1002] Compiling BitCollections BitSet+SetAlgebra union.swift
[745/1002] Compiling BitCollections BitSet+Sorted Collection APIs.swift
[746/1002] Compiling BitCollections BitSet.Counted.swift
[747/1002] Compiling BitCollections BitSet.Index.swift
[748/1002] Compiling BitCollections BitArray+Fill.swift
[749/1002] Emitting module BitCollections
[750/1002] Emitting module HashTreeCollections
[763/1002] Compiling BitCollections BitSet._UnsafeHandle.swift
[764/1002] Compiling BitCollections BitSet.swift
[765/1002] Compiling BitCollections Range+Utilities.swift
[766/1002] Compiling BitCollections Slice+Utilities.swift
[767/1002] Compiling BitCollections UInt+Tricks.swift
[768/1002] Compiling BitCollections _Word.swift
[769/1002] Emitting module HashTreeCollections
[770/1002] Emitting module DequeModule
[775/1057] Compiling AsyncAlgorithms DebounceStorage.swift
[776/1057] Compiling AsyncAlgorithms Dictionary.swift
[777/1057] Compiling AsyncAlgorithms AsyncFlatMapLatestSequence.swift
[778/1057] Compiling AsyncAlgorithms FlatMapLatestStateMachine.swift
[779/1057] Compiling AsyncAlgorithms FlatMapLatestStorage.swift
[780/1057] Compiling AsyncAlgorithms Disconnected.swift
[781/1057] Compiling AsyncAlgorithms AsyncChunksOfCountOrSignalSequence.swift
[782/1057] Compiling AsyncAlgorithms AsyncChunksOfCountSequence.swift
[783/1057] Compiling AsyncAlgorithms AsyncCompactedSequence.swift
[784/1057] Compiling AsyncAlgorithms AsyncExclusiveReductionsSequence.swift
[785/1057] Compiling AsyncAlgorithms AsyncInclusiveReductionsSequence.swift
[786/1057] Compiling AsyncAlgorithms AsyncJoinedBySeparatorSequence.swift
[787/1057] Compiling AsyncAlgorithms AsyncThrowingExclusiveReductionsSequence.swift
[788/1057] Compiling AsyncAlgorithms AsyncThrowingInclusiveReductionsSequence.swift
[789/1057] Compiling AsyncAlgorithms AsyncTimerSequence.swift
[790/1057] Compiling AsyncAlgorithms AsyncBufferSequence.swift
[791/1057] Compiling AsyncAlgorithms BoundedBufferStateMachine.swift
[792/1057] Compiling AsyncAlgorithms BoundedBufferStorage.swift
[793/1057] Compiling AsyncAlgorithms AsyncJoinedSequence.swift
[794/1057] Compiling AsyncAlgorithms AsyncMapErrorSequence.swift
[795/1057] Compiling AsyncAlgorithms AsyncRemoveDuplicatesSequence.swift
[796/1057] Compiling AsyncAlgorithms AsyncShareSequence.swift
[797/1057] Compiling AsyncAlgorithms AsyncSyncSequence.swift
[798/1057] Compiling AsyncAlgorithms AsyncThrottleSequence.swift
[799/1057] Compiling AsyncAlgorithms AsyncCombineLatest2Sequence.swift
[800/1057] Compiling AsyncAlgorithms AsyncCombineLatest3Sequence.swift
[801/1057] Compiling AsyncAlgorithms CombineLatestStateMachine.swift
[802/1057] Compiling AsyncAlgorithms CombineLatestStorage.swift
[803/1057] Compiling AsyncAlgorithms AsyncDebounceSequence.swift
[804/1057] Compiling AsyncAlgorithms DebounceStateMachine.swift
[809/1057] Emitting module DequeModule
[810/1112] Compiling AsyncAlgorithms AsyncJoinedSequence.swift
[811/1112] Compiling AsyncAlgorithms AsyncMapErrorSequence.swift
[812/1112] Compiling AsyncAlgorithms AsyncRemoveDuplicatesSequence.swift
[813/1112] Compiling AsyncAlgorithms AsyncShareSequence.swift
[814/1112] Compiling AsyncAlgorithms AsyncSyncSequence.swift
[815/1112] Compiling AsyncAlgorithms AsyncThrottleSequence.swift
[816/1112] Compiling AsyncAlgorithms AsyncCombineLatest2Sequence.swift
[817/1112] Compiling AsyncAlgorithms AsyncCombineLatest3Sequence.swift
[818/1112] Compiling AsyncAlgorithms CombineLatestStateMachine.swift
[819/1112] Compiling AsyncAlgorithms CombineLatestStorage.swift
[820/1112] Compiling AsyncAlgorithms AsyncDebounceSequence.swift
[821/1112] Compiling AsyncAlgorithms DebounceStateMachine.swift
[822/1117] Compiling AsyncAlgorithms AsyncChunksOfCountOrSignalSequence.swift
[823/1117] Compiling AsyncAlgorithms AsyncChunksOfCountSequence.swift
[824/1117] Compiling AsyncAlgorithms AsyncCompactedSequence.swift
[825/1117] Compiling AsyncAlgorithms AsyncExclusiveReductionsSequence.swift
[826/1117] Compiling AsyncAlgorithms AsyncInclusiveReductionsSequence.swift
[827/1117] Compiling AsyncAlgorithms AsyncJoinedBySeparatorSequence.swift
[834/1122] Emitting module AsyncAlgorithms
[835/1122] Compiling AsyncAlgorithms UnboundedBufferStateMachine.swift
[836/1122] Compiling AsyncAlgorithms UnboundedBufferStorage.swift
[837/1122] Compiling AsyncAlgorithms AsyncChannel.swift
[838/1122] Compiling AsyncAlgorithms AsyncThrowingChannel.swift
[839/1122] Compiling AsyncAlgorithms ChannelStateMachine.swift
[840/1122] Compiling AsyncAlgorithms ChannelStorage.swift
[841/1122] Compiling AsyncAlgorithms DebounceStorage.swift
[842/1122] Compiling AsyncAlgorithms Dictionary.swift
[843/1122] Compiling AsyncAlgorithms AsyncFlatMapLatestSequence.swift
[844/1122] Compiling AsyncAlgorithms FlatMapLatestStateMachine.swift
[845/1122] Compiling AsyncAlgorithms FlatMapLatestStorage.swift
[846/1122] Compiling AsyncAlgorithms Disconnected.swift
[847/1122] Compiling AsyncAlgorithms AsyncThrowingExclusiveReductionsSequence.swift
[848/1122] Compiling AsyncAlgorithms AsyncThrowingInclusiveReductionsSequence.swift
[849/1122] Compiling AsyncAlgorithms AsyncTimerSequence.swift
[850/1122] Compiling AsyncAlgorithms AsyncBufferSequence.swift
[851/1122] Compiling AsyncAlgorithms BoundedBufferStateMachine.swift
[852/1122] Compiling AsyncAlgorithms BoundedBufferStorage.swift
[853/1122] Compiling AsyncAlgorithms _TinyArray.swift
[854/1122] Compiling AsyncAlgorithms AsyncInterspersedSequence.swift
[855/1122] Compiling AsyncAlgorithms Locking.swift
[856/1122] Compiling AsyncAlgorithms AsyncMerge2Sequence.swift
[857/1122] Compiling AsyncAlgorithms AsyncMerge3Sequence.swift
[858/1122] Compiling AsyncAlgorithms MergeStateMachine.swift
[859/1122] Compiling AsyncAlgorithms MergeStorage.swift
[860/1122] Compiling AsyncAlgorithms MultiProducerSingleConsumerAsyncChannel+Internal.swift
[861/1122] Compiling AsyncAlgorithms MultiProducerSingleConsumerAsyncChannel.swift
[862/1122] Compiling AsyncAlgorithms RangeReplaceableCollection.swift
[863/1122] Compiling AsyncAlgorithms Rethrow.swift
[864/1122] Compiling AsyncAlgorithms SetAlgebra.swift
[871/1122] Compiling AsyncAlgorithms AsyncAdjacentPairsSequence.swift
[872/1122] Compiling AsyncAlgorithms AsyncBufferedByteIterator.swift
[873/1122] Compiling AsyncAlgorithms AsyncChain2Sequence.swift
[874/1122] Compiling AsyncAlgorithms AsyncChain3Sequence.swift
[875/1122] Compiling AsyncAlgorithms AsyncChunkedByGroupSequence.swift
[876/1122] Compiling AsyncAlgorithms AsyncChunkedOnProjectionSequence.swift
[877/1122] Emitting module AsyncAlgorithms
[908/1122] Compiling AsyncAlgorithms UnsafeTransfer.swift
[909/1122] Compiling AsyncAlgorithms AsyncZip2Sequence.swift
[910/1122] Compiling AsyncAlgorithms AsyncZip3Sequence.swift
[911/1122] Compiling AsyncAlgorithms ZipStateMachine.swift
[912/1122] Compiling AsyncAlgorithms ZipStorage.swift
[936/1128] Emitting module SwiftSyntax
[938/1128] Emitting module PropertyBased
[983/1128] Compiling PropertyBased Shrink.swift
[984/1128] Compiling PropertyBased Xoshiro.swift
[985/1128] Compiling PropertyBased Zip.swift
[1023/1320] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[1024/1320] Compiling PropertyLawKit BinaryIntegerLaws.swift
[1025/1320] Compiling PropertyLawKit CodableCodec.swift
[1026/1320] Compiling PropertyLawKit CodableLawConfig.swift
[1027/1320] Compiling PropertyLawKit CodableRoundTripMode.swift
[1028/1320] Compiling PropertyLawKit EnforcementMode.swift
[1029/1320] Compiling PropertyLawKit Environment.swift
[1030/1320] Compiling PropertyLawKit CommutativeMonoid.swift
[1031/1320] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[1032/1320] Compiling PropertyLawKit ComparableLaws.swift
[1033/1320] Compiling PropertyLawKit CoverageClassifier.swift
[1034/1320] Compiling PropertyLawKit DefensiveCopy.swift
[1035/1320] Compiling PropertyLawKit DefensiveCopyLaws.swift
[1036/1320] Compiling PropertyLawKit Enumeration.swift
[1037/1320] Compiling PropertyLawKit MutableCollectionLaws.swift
[1038/1320] Compiling PropertyLawKit NumericGenerators.swift
[1039/1320] Compiling PropertyLawKit TrialBudget.swift
[1040/1320] Compiling PropertyLawKit PropertyLawKit.swift
[1041/1320] Compiling PropertyLawKit ActionSequenceFactory.swift
[1042/1320] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[1043/1320] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[1044/1320] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[1045/1320] Emitting module PropertyLawComplex
[1046/1320] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[1047/1320] Emitting module PropertyLawComplex
[1048/1320] Compiling PropertyLawKit Semilattice.swift
[1049/1320] Compiling PropertyLawKit SemilatticeLaws.swift
[1050/1320] Compiling PropertyLawKit SequenceLaws.swift
[1051/1320] Compiling PropertyLawKit SetAlgebraLaws.swift
[1052/1320] Compiling PropertyLawKit SignedIntegerLaws.swift
[1053/1320] Compiling PropertyLawKit SignedNumericLaws.swift
[1054/1320] Compiling PropertyLawKit StableIdentity.swift
[1055/1320] Emitting module PropertyLawKit
[1056/1330] Compiling PropertyLawKit EnumerationProduct.swift
[1057/1330] Compiling PropertyLawKit EquatableLaws.swift
[1058/1330] Compiling PropertyLawKit TrialBudget.swift
[1059/1330] Compiling PropertyLawKit PropertyLawKit.swift
[1060/1330] Compiling PropertyLawKit ActionSequenceFactory.swift
[1061/1330] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[1062/1330] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[1063/1330] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[1064/1330] Compiling PropertyLawKit BinaryIntegerLaws.swift
[1065/1330] Compiling PropertyLawKit CaseIterableLaws.swift
[1066/1330] Compiling PropertyLawKit CodableLaws.swift
[1067/1330] Emitting module PropertyLawKit
[1068/1340] Compiling PropertyLawKit InteractionInvariant.swift
[1069/1340] Compiling PropertyLawKit InteractionInvariantLaws+Async.swift
[1070/1340] Compiling PropertyLawKit InteractionInvariantLaws.swift
[1071/1340] Compiling PropertyLawKit InvariantFalsifiabilityLaw.swift
[1072/1340] Compiling PropertyLawKit IteratorProtocolLaws.swift
[1073/1340] Compiling PropertyLawKit LosslessStringConvertibleLaws.swift
[1074/1340] Compiling PropertyLawKit Monoid.swift
[1075/1340] Compiling PropertyLawKit MonoidLaws.swift
[1076/1340] Compiling PropertyLawKit MutableCollectionLaws.swift
[1077/1340] Compiling PropertyLawKit NumericGenerators.swift
[1078/1340] Compiling PropertyLawKit EqualValuePairing.swift
[1079/1340] Compiling PropertyLawKit InputSource.swift
[1080/1340] Compiling PropertyLawKit LawCheckOptions.swift
[1081/1340] Compiling PropertyLawKit LawIdentifier.swift
[1082/1340] Compiling PropertyLawKit LawSelection.swift
[1083/1340] Compiling PropertyLawKit LawSuppression.swift
[1084/1340] Compiling PropertyLawKit PropertyLawViolation.swift
[1085/1340] Compiling PropertyLawKit Seed.swift
[1086/1340] Compiling PropertyLawKit SequenceLawOptions.swift
[1087/1340] Compiling PropertyLawKit SpaceCoverage.swift
[1088/1340] Compiling PropertyLawKit StrictnessTier.swift
[1089/1340] Compiling PropertyLawKit NearMissCollector.swift
[1090/1340] Compiling PropertyLawKit PropertyBackend.swift
[1091/1340] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[1092/1340] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[1093/1340] Compiling PropertyLawKit RawRepresentableLaws.swift
[1094/1340] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[1095/1340] Compiling PropertyLawKit Ring.swift
[1096/1340] Compiling PropertyLawKit RingLaws.swift
[1097/1340] Compiling PropertyLawKit SameResult.swift
[1098/1340] Compiling PropertyLawKit Semigroup.swift
[1099/1340] Compiling PropertyLawKit AggregateDriver.swift
[1100/1340] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[1101/1340] Compiling PropertyLawKit CheckPreflight.swift
[1102/1340] Compiling PropertyLawKit SequenceLaws.swift
[1103/1340] Compiling PropertyLawKit SetAlgebraLaws.swift
[1104/1340] Compiling PropertyLawKit SignedIntegerLaws.swift
[1105/1340] Compiling PropertyLawKit SignedNumericLaws.swift
[1106/1340] Compiling PropertyLawKit StableIdentity.swift
[1107/1340] Compiling PropertyLawKit StableIdentityLaws.swift
[1108/1340] Compiling PropertyLawKit LawSuppressionPolicy.swift
[1121/1340] Compiling PropertyLawKit SemigroupLaws.swift
[1129/1340] Compiling PropertyLawKit StableIdentityLaws.swift
[1130/1340] Compiling PropertyLawKit StatefulGuard.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1140/1340] Compiling PropertyLawKit EnumerationCombinators.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1141/1340] Compiling PropertyLawKit InteractionInvariant.swift
[1142/1340] Compiling PropertyLawKit InteractionInvariantLaws+Async.swift
[1143/1340] Compiling PropertyLawKit InteractionInvariantLaws.swift
[1144/1340] Compiling PropertyLawKit InvariantFalsifiabilityLaw.swift
[1145/1340] Compiling PropertyLawKit IteratorProtocolLaws.swift
[1146/1340] Compiling PropertyLawKit LosslessStringConvertibleLaws.swift
[1147/1340] Compiling PropertyLawKit Monoid.swift
[1148/1340] Compiling PropertyLawKit MonoidLaws.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1190/1340] Compiling PropertyLawKit CollectionLaws.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1313/1387] Compiling PropertyLawKit StdlibGenerators.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1314/1387] Compiling PropertyLawKit StrictWeakOrderingLaws.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1315/1387] Compiling PropertyLawKit StrictWeakOrderingVacuity.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1316/1387] Compiling PropertyLawKit StrideableLaws.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1317/1387] Compiling PropertyLawKit StringProtocolLaws.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1318/1387] Compiling PropertyLawKit TransformationFunctionLaws.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1319/1387] Compiling PropertyLawKit TransformationLaws.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1320/1387] Compiling PropertyLawKit UnsignedIntegerLaws.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1321/1387] Compiling PropertyLawKit ValueSemantic.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1322/1387] Compiling PropertyLawKit ValueSemanticLaws.swift
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
/Users/admin/builder/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,
[1333/1485] Compiling SwiftBasicFormat SyntaxProtocol+Formatted.swift
[1334/1485] Compiling SwiftBasicFormat Trivia+FormatExtensions.swift
[1335/1485] Compiling PropertyLawSyntaxSupport SequenceInitializerNormalizer.swift
[1336/1485] Compiling PropertyLawSyntaxSupport MemberBlockInspector.swift
[1337/1485] Compiling PropertyLawSyntaxSupport InitializerPreconditionDetector.swift
[1338/1485] Emitting module PropertyLawSyntaxSupport
[1340/1485] Compiling PropertyLawSyntaxSupport InitializerPreconditionDetector.swift
[1341/1485] Compiling PropertyLawSyntaxSupport MemberBlockInspector.swift
[1342/1485] Compiling PropertyLawSyntaxSupport SequenceInitializerNormalizer.swift
[1343/1485] Compiling SwiftDiagnostics Message.swift
[1344/1485] Compiling SwiftDiagnostics GroupedDiagnostics.swift
[1345/1485] Compiling SwiftDiagnostics FixIt.swift
[1346/1504] Compiling PropertyLawCollections OrderedSetGenerators.swift
[1347/1505] Compiling SwiftBasicFormat Syntax+Extensions.swift
[1348/1505] Compiling PropertyLawCollections OrderedDictionaryGenerators.swift
[1349/1505] Compiling SwiftDiagnostics BasicDiagnosticDecorator.swift
[1350/1505] Compiling SwiftDiagnostics ANSIDiagnosticDecorator.swift
[1351/1505] Compiling SwiftDiagnostics DiagnosticDecorator.swift
[1352/1505] Compiling SwiftDiagnostics Diagnostic.swift
[1353/1505] Emitting module SwiftDiagnostics
[1354/1505] Compiling SwiftDiagnostics Convenience.swift
[1355/1505] Compiling SwiftDiagnostics DiagnosticsFormatter.swift
[1356/1505] Compiling PropertyLawCollections BitSetGenerators.swift
[1357/1505] Compiling PropertyLawCollections DequeGenerators.swift
[1358/1505] Emitting module PropertyLawCollections
[1359/1505] Compiling SwiftDiagnostics Note.swift
[1360/1505] Compiling PropertyLawMinimalTypes MinimalIndex.swift
[1361/1505] Compiling PropertyLawMinimalTypes MinimalGenerators.swift
[1362/1505] Compiling PropertyLawCollections DequeSymmetryLaws.swift
[1363/1505] Compiling PropertyLawCollections DequeLayouts.swift
[1364/1505] Compiling PropertyLawCollections HeapLaws.swift
[1365/1505] Compiling PropertyLawCollections HeapGenerators.swift
[1366/1505] Compiling PropertyLawCollections HashTreeGenerators.swift
[1367/1505] Compiling PropertyLawCollections OrderPreservationLaws.swift
[1368/1505] Compiling PropertyLawMinimalTypes MinimalEncoder.swift
[1369/1505] Compiling PropertyLawMinimalTypes MinimalIndex.swift
[1370/1505] Compiling SwiftBasicFormat InferIndentation.swift
[1371/1505] Emitting module SwiftBasicFormat
[1372/1505] Compiling SwiftBasicFormat Indenter.swift
[1373/1505] Compiling SwiftBasicFormat BasicFormat.swift
[1374/1505] Compiling SwiftParser Patterns.swift
[1375/1505] Compiling SwiftParser Recovery.swift
[1376/1505] Compiling SwiftParser Specifiers.swift
[1377/1505] Compiling SwiftParser Statements.swift
[1378/1509] Compiling PropertyLawMinimalTypes MinimalCollections.swift
[1379/1509] Compiling PropertyLawMinimalTypes MinimalDecoder.swift
[1380/1509] Compiling PropertyLawCollections PropertyLawCollections.swift
[1381/1509] Compiling PropertyLawCollections OrderedSetGenerators.swift
[1382/1510] Compiling PropertyLawMinimalTypes MinimalCodableValue.swift
[1383/1510] Compiling PropertyLawMinimalTypes MinimalCodec.swift
[1384/1510] Emitting module PropertyLawMinimalTypes
[1385/1510] Compiling SwiftParser StringLiterals.swift
[1386/1510] Compiling SwiftParser SwiftParserCompatibility.swift
[1387/1510] Compiling SwiftParser SwiftVersion.swift
[1388/1510] Compiling SwiftParser SyntaxUtils.swift
[1389/1514] Compiling PropertyLawAsync VirtualClock.swift
[1390/1514] Compiling PropertyLawAsync AsyncOrderLaws.swift
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:27:26: warning: no calls to throwing functions occur within 'try' expression
25 | // concatenation asserts no element is dropped, invented, or
26 | // duplicated — while deliberately saying nothing about order.
27 | let merged = try await collect(merge(first.async, second.async))
| `- warning: no calls to throwing functions occur within 'try' expression
28 | return merged.sorted() == (first + second).sorted()
29 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:51:26: warning: no calls to throwing functions occur within 'try' expression
49 | // Unlike merge, zip IS order-deterministic: pairwise correspondence
50 | // and length (min of the inputs) match Swift.zip exactly.
51 | let zipped = try await collect(zip(first.async, second.async))
| `- warning: no calls to throwing functions occur within 'try' expression
52 | let model = Array(Swift.zip(first, second))
53 | return zipped.count == Swift.min(first.count, second.count)
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:80:19: warning: no calls to throwing functions occur within 'try' expression
78 | // exhaustion behavior of the wrapper types is covered too.
79 | var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 | while try await iterator.next() != nil { continue }
| `- warning: no calls to throwing functions occur within 'try' expression
81 | let afterFirstNil = try await iterator.next()
82 | let afterSecondNil = try await iterator.next()
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:81:33: warning: no calls to throwing functions occur within 'try' expression
79 | var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 | while try await iterator.next() != nil { continue }
81 | let afterFirstNil = try await iterator.next()
| `- warning: no calls to throwing functions occur within 'try' expression
82 | let afterSecondNil = try await iterator.next()
83 | return afterFirstNil == nil && afterSecondNil == nil
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:82:34: warning: no calls to throwing functions occur within 'try' expression
80 | while try await iterator.next() != nil { continue }
81 | let afterFirstNil = try await iterator.next()
82 | let afterSecondNil = try await iterator.next()
| `- warning: no calls to throwing functions occur within 'try' expression
83 | return afterFirstNil == nil && afterSecondNil == nil
84 | },
[1391/1514] Compiling PropertyLawAsync AsyncSequenceLaws.swift
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:98:27: warning: no calls to throwing functions occur within 'try' expression
96 | property: { sample in
97 | let size = sample.count % 4 + 1
98 | let chunked = try await collect(sample.async.chunks(ofCount: size))
| `- warning: no calls to throwing functions occur within 'try' expression
99 | return chunked == syncChunks(sample, size: size)
100 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:120:27: warning: no calls to throwing functions occur within 'try' expression
118 | property: { sample in
119 | let size = sample.count % 4 + 1
120 | let chunked = try await collect(sample.async.chunks(ofCount: size))
| `- warning: no calls to throwing functions occur within 'try' expression
121 | return chunked.flatMap { $0 } == sample
122 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:141:25: warning: no calls to throwing functions occur within 'try' expression
139 | options: options,
140 | property: { sample in
141 | let pairs = try await collect(sample.async.adjacentPairs())
| `- warning: no calls to throwing functions occur within 'try' expression
142 | let model = Array(zip(sample, sample.dropFirst()))
143 | return pairs.count == model.count
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:164:32: warning: no calls to throwing functions occur within 'try' expression
162 | options: options,
163 | property: { sample in
164 | let deduplicated = try await collect(sample.async.removeDuplicates())
| `- warning: no calls to throwing functions occur within 'try' expression
165 | return deduplicated == syncRemoveConsecutiveDuplicates(sample)
166 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:190:32: warning: no calls to throwing functions occur within 'try' expression
188 | // with and no separator to derive.
189 | guard let separator = sample.first else { return true }
190 | let interspersed = try await collect(sample.async.interspersed(with: separator))
| `- warning: no calls to throwing functions occur within 'try' expression
191 | return interspersed == syncInterspersed(sample, separator: separator)
192 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:216:29: warning: no calls to throwing functions occur within 'try' expression
214 | pair.offset % 3 == 0 ? nil : pair.element
215 | }
216 | let compacted = try await collect(optionals.async.compacted())
| `- warning: no calls to throwing functions occur within 'try' expression
217 | return compacted == optionals.compactMap { $0 }
218 | },
[1392/1514] Emitting module PropertyLawAsync
[1393/1514] Compiling PropertyLawAsync GlobalEnqueueHook.swift
[1394/1514] Compiling PropertyLawAsync VirtualTimeScheduler.swift
[1395/1514] Compiling PropertyLawAsync TimedAsyncLaws.swift
[1396/1514] Compiling PropertyLawMinimalTypes MinimalCollections.swift
[1397/1514] Compiling PropertyLawMinimalTypes MinimalGenerators.swift
[1398/1514] Compiling PropertyLawMinimalTypes MinimalDecoder.swift
[1399/1514] Compiling PropertyLawCollections OrderedDictionaryGenerators.swift
[1400/1514] Compiling PropertyLawCollections HeapGenerators.swift
[1401/1514] Compiling PropertyLawCollections OrderPreservationLaws.swift
[1402/1514] Compiling PropertyLawCollections DequeSymmetryLaws.swift
[1403/1514] Compiling PropertyLawCollections HashTreeGenerators.swift
[1404/1514] Compiling PropertyLawCollections DequeLayouts.swift
[1405/1514] Emitting module PropertyLawCollections
[1408/1514] Compiling PropertyLawCollections HeapLaws.swift
[1409/1514] Compiling PropertyLawMinimalTypes MinimalCodec.swift
[1410/1514] Emitting module PropertyLawMinimalTypes
[1411/1514] Compiling PropertyLawMinimalTypes MinimalEncoder.swift
[1412/1514] Compiling PropertyLawMinimalTypes MinimalCodableValue.swift
[1413/1514] Compiling PropertyLawCollections PropertyLawCollections.swift
[1414/1514] Compiling PropertyLawAsync VirtualTimeScheduler.swift
[1415/1514] Compiling PropertyLawAsync VirtualClock.swift
[1416/1514] Compiling PropertyLawAsync GlobalEnqueueHook.swift
[1417/1514] Compiling PropertyLawAsync AsyncSequenceLaws.swift
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:98:27: warning: no calls to throwing functions occur within 'try' expression
96 | property: { sample in
97 | let size = sample.count % 4 + 1
98 | let chunked = try await collect(sample.async.chunks(ofCount: size))
| `- warning: no calls to throwing functions occur within 'try' expression
99 | return chunked == syncChunks(sample, size: size)
100 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:120:27: warning: no calls to throwing functions occur within 'try' expression
118 | property: { sample in
119 | let size = sample.count % 4 + 1
120 | let chunked = try await collect(sample.async.chunks(ofCount: size))
| `- warning: no calls to throwing functions occur within 'try' expression
121 | return chunked.flatMap { $0 } == sample
122 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:141:25: warning: no calls to throwing functions occur within 'try' expression
139 | options: options,
140 | property: { sample in
141 | let pairs = try await collect(sample.async.adjacentPairs())
| `- warning: no calls to throwing functions occur within 'try' expression
142 | let model = Array(zip(sample, sample.dropFirst()))
143 | return pairs.count == model.count
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:164:32: warning: no calls to throwing functions occur within 'try' expression
162 | options: options,
163 | property: { sample in
164 | let deduplicated = try await collect(sample.async.removeDuplicates())
| `- warning: no calls to throwing functions occur within 'try' expression
165 | return deduplicated == syncRemoveConsecutiveDuplicates(sample)
166 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:190:32: warning: no calls to throwing functions occur within 'try' expression
188 | // with and no separator to derive.
189 | guard let separator = sample.first else { return true }
190 | let interspersed = try await collect(sample.async.interspersed(with: separator))
| `- warning: no calls to throwing functions occur within 'try' expression
191 | return interspersed == syncInterspersed(sample, separator: separator)
192 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:216:29: warning: no calls to throwing functions occur within 'try' expression
214 | pair.offset % 3 == 0 ? nil : pair.element
215 | }
216 | let compacted = try await collect(optionals.async.compacted())
| `- warning: no calls to throwing functions occur within 'try' expression
217 | return compacted == optionals.compactMap { $0 }
218 | },
[1418/1514] Emitting module PropertyLawAsync
[1419/1514] Compiling PropertyLawAsync AsyncOrderLaws.swift
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:27:26: warning: no calls to throwing functions occur within 'try' expression
25 | // concatenation asserts no element is dropped, invented, or
26 | // duplicated — while deliberately saying nothing about order.
27 | let merged = try await collect(merge(first.async, second.async))
| `- warning: no calls to throwing functions occur within 'try' expression
28 | return merged.sorted() == (first + second).sorted()
29 | },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:51:26: warning: no calls to throwing functions occur within 'try' expression
49 | // Unlike merge, zip IS order-deterministic: pairwise correspondence
50 | // and length (min of the inputs) match Swift.zip exactly.
51 | let zipped = try await collect(zip(first.async, second.async))
| `- warning: no calls to throwing functions occur within 'try' expression
52 | let model = Array(Swift.zip(first, second))
53 | return zipped.count == Swift.min(first.count, second.count)
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:80:19: warning: no calls to throwing functions occur within 'try' expression
78 | // exhaustion behavior of the wrapper types is covered too.
79 | var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 | while try await iterator.next() != nil { continue }
| `- warning: no calls to throwing functions occur within 'try' expression
81 | let afterFirstNil = try await iterator.next()
82 | let afterSecondNil = try await iterator.next()
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:81:33: warning: no calls to throwing functions occur within 'try' expression
79 | var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 | while try await iterator.next() != nil { continue }
81 | let afterFirstNil = try await iterator.next()
| `- warning: no calls to throwing functions occur within 'try' expression
82 | let afterSecondNil = try await iterator.next()
83 | return afterFirstNil == nil && afterSecondNil == nil
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:82:34: warning: no calls to throwing functions occur within 'try' expression
80 | while try await iterator.next() != nil { continue }
81 | let afterFirstNil = try await iterator.next()
82 | let afterSecondNil = try await iterator.next()
| `- warning: no calls to throwing functions occur within 'try' expression
83 | return afterFirstNil == nil && afterSecondNil == nil
84 | },
[1420/1514] Compiling PropertyLawAsync TimedAsyncLaws.swift
[1421/1514] Compiling SwiftParser TokenConsumer.swift
[1422/1514] Compiling SwiftParser TokenPrecedence.swift
[1423/1514] Compiling SwiftParser TokenSpec.swift
[1424/1514] Compiling SwiftParser TokenSpecSet.swift
[1425/1514] Compiling SwiftParser TopLevel.swift
[1426/1514] Compiling SwiftParser TriviaParser.swift
[1427/1514] Compiling SwiftParser Types.swift
[1428/1514] Compiling SwiftParser ExperimentalFeatures.swift
[1429/1514] Compiling SwiftParser RegexLiteralLexer.swift
[1430/1514] Compiling SwiftParser UnicodeScalarExtensions.swift
[1431/1514] Compiling SwiftParser Lookahead.swift
[1432/1514] Compiling SwiftParser LoopProgressCondition.swift
[1433/1514] Compiling SwiftParser Modifiers.swift
[1447/1514] Compiling SwiftParser IsValidIdentifier.swift
[1448/1514] Compiling SwiftParser Cursor.swift
[1449/1514] Compiling SwiftParser Lexeme.swift
[1450/1514] Compiling SwiftParser LexemeSequence.swift
[1451/1514] Compiling SwiftParser Lexer.swift
[1452/1514] Compiling SwiftParser Names.swift
[1453/1514] Compiling SwiftParser Nominals.swift
[1454/1514] Compiling SwiftParser Parameters.swift
[1455/1514] Compiling SwiftParser ParseSourceFile.swift
[1456/1514] Compiling SwiftParser Parser.swift
[1457/1514] Emitting module SwiftParser
[1467/1514] Compiling SwiftParser StringLiteralRepresentedLiteralValue.swift
[1470/1514] Compiling SwiftParser CharacterInfo.swift
[1471/1514] Compiling SwiftParser CollectionNodes+Parsable.swift
[1472/1514] Compiling SwiftParser CompilerFiles.swift
[1473/1514] Emitting module SwiftParser
[1474/1514] Compiling SwiftParser Declarations.swift
[1475/1514] Compiling SwiftParser Directives.swift
[1476/1514] Compiling SwiftParser ExpressionInterpretedAsVersionTuple.swift
[1477/1514] Compiling SwiftParser Expressions.swift
[1478/1514] Compiling SwiftParser IncrementalParseTransition.swift
[1499/1514] Compiling SwiftParser IsLexerClassified.swift
[1500/1514] Compiling SwiftParser LayoutNodes+Parsable.swift
[1501/1514] Compiling SwiftParser Parser+TokenSpecSet.swift
[1502/1514] Compiling SwiftParser TokenSpecStaticMembers.swift
[1507/1575] Compiling SwiftParserDiagnostics SyntaxKindNameForDiagnostics.swift
[1508/1576] Compiling SwiftOperators OperatorError+Diagnostics.swift
[1509/1577] Compiling SwiftOperators Operator.swift
[1510/1577] Compiling SwiftOperators PrecedenceGroup.swift
[1511/1577] Compiling SwiftOperators PrecedenceGraph.swift
[1512/1577] Compiling SwiftOperators OperatorTable.swift
[1513/1577] Compiling SwiftParserDiagnostics TokenNameForDiagnostics.swift
[1514/1577] Compiling SwiftParserDiagnostics SyntaxExtensions.swift
[1515/1577] Compiling PropertyLawDiscoveryTool SendableProtocols.swift
[1516/1577] Compiling PropertyLawDiscoveryTool ScaffoldFileEmitter.swift
[1517/1578] Compiling PropertyLawDiscoveryTool ToolInvocation.swift
[1518/1578] Compiling PropertyLawDiscoveryTool SendableProtocols.swift
[1519/1578] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[1520/1579] Compiling SwiftParserDiagnostics PresenceUtils.swift
[1521/1579] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[1522/1579] Compiling PropertyLawDiscoveryTool ToolInvocation.swift
[1523/1579] Compiling SwiftOperators SyntaxSynthesis.swift
[1524/1579] Emitting module SwiftOperators
[1525/1579] Compiling SwiftOperators OperatorTable+Semantics.swift
[1526/1579] Compiling PropertyLawSyntax SyntaxGenConformances.swift
[1527/1579] Compiling PropertyLawSyntax SyntaxGenerators.swift
[1528/1579] Compiling PropertyLawSyntax SyntaxNodeGenerators.swift
[1529/1579] Emitting module PropertyLawSyntax
[1530/1579] Compiling PropertyLawDiscoveryTool ScaffoldFileEmitter.swift
[1531/1579] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[1532/1579] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[1533/1579] Compiling PropertyLawDiscoveryTool GeneratedFileEmitter.swift
[1534/1579] Compiling PropertyLawDiscoveryTool ModuleScanner+Declarations.swift
[1535/1579] Compiling SwiftOperators OperatorTable+Defaults.swift
[1536/1579] Compiling SwiftOperators OperatorError.swift
[1537/1579] Compiling SwiftOperators OperatorTable+Folding.swift
[1538/1579] Emitting module PropertyLawSyntax
[1541/1579] Compiling PropertyLawSyntax SyntaxGenerators.swift
[1542/1579] Compiling PropertyLawSyntax SyntaxGenConformances.swift
[1543/1579] Compiling PropertyLawSyntax SyntaxNodeGenerators.swift
[1544/1579] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[1545/1579] Emitting module PropertyLawDiscoveryTool
[1546/1579] Compiling SwiftParserDiagnostics DiagnosticExtensions.swift
[1547/1579] Compiling SwiftParserDiagnostics LexerDiagnosticMessages.swift
[1548/1579] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[1549/1579] Compiling SwiftParserDiagnostics ChildNameForDiagnostics.swift
[1550/1579] Compiling SwiftParserDiagnostics Utils.swift
[1551/1579] Compiling SwiftParserDiagnostics ParserDiagnosticMessages.swift
[1552/1579] Compiling SwiftParserDiagnostics MultiLineStringLiteralDiagnosticsGenerator.swift
[1553/1579] Compiling SwiftParserDiagnostics ParseDiagnosticsGenerator.swift
[1558/1579] Compiling PropertyLawDiscoveryTool ModuleScanner.swift
[1559/1579] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[1560/1579] Emitting module PropertyLawDiscoveryTool
[1564/1579] Write Objects.LinkFileList
[1567/1579] Emitting module SwiftParserDiagnostics
[1573/1594] Linking PropertyLawDiscoveryTool
[1574/1594] Linking PropertyLawDiscoveryTool-tool
[1575/1594] Applying PropertyLawDiscoveryTool
[1576/1594] Applying PropertyLawDiscoveryTool-tool
[1578/1594] Compiling SwiftSyntaxBuilder WithTrailingCommaSyntax+EnsuringTrailingComma.swift
[1579/1594] Compiling SwiftSyntaxBuilder SyntaxParsable+ExpressibleByStringInterpolation.swift
[1580/1594] Compiling SwiftSyntaxBuilder ValidatingSyntaxNodes.swift
[1581/1594] Compiling SwiftSyntaxBuilder ResultBuilders.swift
[1582/1594] Compiling SwiftSyntaxBuilder RenamedChildrenBuilderCompatibility.swift
[1583/1594] Compiling SwiftSyntaxBuilder BuildableNodes.swift
[1584/1595] Compiling SwiftSyntaxBuilder Indenter.swift
[1585/1595] Compiling SwiftSyntaxBuilder ListBuilder.swift
[1586/1595] Compiling SwiftSyntaxBuilder ResultBuilderExtensions.swift
[1587/1595] Compiling SwiftSyntaxBuilder SwiftSyntaxBuilderCompatibility.swift
[1588/1595] Emitting module SwiftSyntaxBuilder
[1589/1595] Compiling SwiftSyntaxBuilder ConvenienceInitializers.swift
[1590/1595] Compiling SwiftSyntaxBuilder DeclSyntaxParseable.swift
[1591/1595] Compiling SwiftSyntaxBuilder Syntax+StringInterpolation.swift
[1592/1595] Compiling SwiftSyntaxBuilder SyntaxNodeWithBody.swift
[1593/1595] Compiling SwiftSyntaxBuilder SyntaxExpressibleByStringInterpolationConformances.swift
[1594/1613] Compiling SwiftSyntaxMacros MemberMacro.swift
[1595/1613] Compiling SwiftSyntaxMacros PeerMacro.swift
[1596/1613] Compiling SwiftSyntaxMacros PreambleMacro.swift
[1597/1614] Compiling SwiftSyntaxMacros FreestandingMacro.swift
[1598/1614] Compiling SwiftSyntaxMacros Macro+Format.swift
[1599/1614] Compiling SwiftSyntaxMacros ExpressionMacro.swift
[1600/1614] Compiling SwiftSyntaxMacros ExtensionMacro.swift
[1601/1614] Compiling SwiftSyntaxMacros Macro.swift
[1602/1614] Compiling SwiftSyntaxMacros MemberAttributeMacro.swift
[1603/1614] Compiling SwiftSyntaxMacros AttachedMacro.swift
[1604/1614] Compiling SwiftSyntaxMacros BodyMacro.swift
[1605/1614] Compiling SwiftSyntaxMacros CodeItemMacro.swift
[1606/1614] Compiling SwiftSyntaxMacros DeclarationMacro.swift
[1607/1614] Emitting module SwiftSyntaxMacros
[1608/1614] Compiling SwiftSyntaxMacros AbstractSourceLocation.swift
[1609/1614] Compiling SwiftSyntaxMacros MacroExpansionContext.swift
[1610/1614] Compiling SwiftSyntaxMacros MacroExpansionDiagnosticMessages.swift
[1611/1614] Compiling SwiftSyntaxMacros AccessorMacro.swift
[1612/1614] Compiling SwiftSyntaxMacros Syntax+LexicalContext.swift
[1613/1624] Compiling SwiftSyntaxMacroExpansion MacroArgument.swift
[1614/1624] Compiling SwiftSyntaxMacroExpansion MacroExpansionDiagnosticMessages.swift
[1615/1624] Compiling SwiftSyntaxMacroExpansion IndentationUtils.swift
[1616/1624] Compiling SwiftSyntaxMacroExpansion MacroExpansion.swift
[1617/1624] Compiling SwiftSyntaxMacroExpansion FunctionParameterUtils.swift
[1618/1624] Emitting module SwiftSyntaxMacroExpansion
[1619/1624] Compiling SwiftSyntaxMacroExpansion BasicMacroExpansionContext.swift
[1620/1624] Compiling SwiftSyntaxMacroExpansion MacroSystem.swift
[1621/1624] Compiling SwiftSyntaxMacroExpansion MacroSpec.swift
[1622/1624] Compiling SwiftSyntaxMacroExpansion MacroReplacement.swift
[1623/1636] Compiling SwiftCompilerPluginMessageHandling PluginMacroExpansionContext.swift
[1624/1636] Emitting module SwiftCompilerPluginMessageHandling
[1625/1636] Compiling SwiftCompilerPluginMessageHandling CompilerPluginMessageHandler.swift
[1626/1636] Compiling SwiftCompilerPluginMessageHandling Diagnostics.swift
[1627/1636] Compiling SwiftCompilerPluginMessageHandling PluginMessages.swift
[1628/1636] Compiling SwiftCompilerPluginMessageHandling LRUCache.swift
[1629/1636] Compiling SwiftCompilerPluginMessageHandling CodingUtilities.swift
[1630/1636] Compiling SwiftCompilerPluginMessageHandling JSON.swift
[1631/1636] Compiling SwiftCompilerPluginMessageHandling JSONEncoding.swift
[1632/1636] Compiling SwiftCompilerPluginMessageHandling JSONDecoding.swift
[1633/1636] Compiling SwiftCompilerPluginMessageHandling Macros.swift
[1634/1636] Compiling SwiftCompilerPluginMessageHandling PluginMessageCompatibility.swift
[1635/1637] Compiling SwiftCompilerPluginMessageHandling StandardIOMessageConnection.swift
[1636/1639] Compiling SwiftCompilerPlugin CompilerPlugin.swift
[1637/1639] Emitting module SwiftCompilerPlugin
[1638/1646] Emitting module PropertyLawMacroImpl
[1639/1646] Compiling PropertyLawMacroImpl LawTestPeerMacros.swift
[1640/1646] Compiling PropertyLawMacroImpl Plugin.swift
[1641/1646] Compiling PropertyLawMacroImpl InteractionInvariantTestsMacro.swift
[1642/1646] Compiling PropertyLawMacroImpl DiscoverableMacro.swift
[1643/1646] Compiling PropertyLawMacroImpl PropertyLawSuiteMacro.swift
[1644/1646] Compiling PropertyLawMacroImpl Diagnostics.swift
[1644/1646] Write Objects.LinkFileList
[1645/1646] Linking PropertyLawMacroImpl-tool
[1647/1650] Compiling PropertyLawMacro PropertyLawMacro.swift
[1648/1650] Emitting module PropertyLawMacro
[1649/1650] Compiling PropertyLawMacro PropertyLawMacro.swift
[1650/1650] Emitting module PropertyLawMacro
Build complete! (46.10s)
Build complete.
{
"dependencies" : [
{
"identity" : "swift-property-based",
"requirement" : {
"range" : [
{
"lower_bound" : "2.0.0",
"upper_bound" : "3.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/x-sheep/swift-property-based.git"
},
{
"identity" : "swift-syntax",
"requirement" : {
"range" : [
{
"lower_bound" : "602.0.0",
"upper_bound" : "603.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/swiftlang/swift-syntax.git"
},
{
"identity" : "swift-numerics",
"requirement" : {
"range" : [
{
"lower_bound" : "1.0.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-numerics.git"
},
{
"identity" : "swift-collections",
"requirement" : {
"range" : [
{
"lower_bound" : "1.2.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-collections.git"
},
{
"identity" : "swift-async-algorithms",
"requirement" : {
"range" : [
{
"lower_bound" : "1.0.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-async-algorithms.git"
}
],
"manifest_display_name" : "SwiftPropertyLaws",
"name" : "SwiftPropertyLaws",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
{
"name" : "macos",
"version" : "14.0"
},
{
"name" : "ios",
"version" : "17.0"
},
{
"name" : "tvos",
"version" : "17.0"
},
{
"name" : "watchos",
"version" : "10.0"
},
{
"name" : "visionos",
"version" : "1.0"
}
],
"products" : [
{
"name" : "PropertyLawKit",
"targets" : [
"PropertyLawKit"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawMacro",
"targets" : [
"PropertyLawMacro"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawSyntaxSupport",
"targets" : [
"PropertyLawSyntaxSupport"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawCore",
"targets" : [
"PropertyLawCore"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawComplex",
"targets" : [
"PropertyLawComplex"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawSyntax",
"targets" : [
"PropertyLawSyntax"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawCollections",
"targets" : [
"PropertyLawCollections"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawMinimalTypes",
"targets" : [
"PropertyLawMinimalTypes"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawAsync",
"targets" : [
"PropertyLawAsync"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawDiscoveryTool",
"targets" : [
"PropertyLawDiscoveryTool"
],
"type" : {
"executable" : null
}
},
{
"name" : "PropertyLawMacroImpl",
"targets" : [
"PropertyLawMacroImpl"
],
"type" : {
"macro" : null
}
}
],
"targets" : [
{
"c99name" : "PropertyLawSyntaxTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntaxTests",
"path" : "Tests/PropertyLawSyntaxTests",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntax"
],
"sources" : [
"DownstreamNodeDemandTests.swift",
"SyntaxGenConformanceTests.swift",
"SyntaxGeneratorTests.swift",
"SyntaxNodeGeneratorTests.swift"
],
"target_dependencies" : [
"PropertyLawSyntax",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawSyntaxSupportTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntaxSupportTests",
"path" : "Tests/PropertyLawSyntaxSupportTests",
"product_dependencies" : [
"SwiftParser"
],
"sources" : [
"InitializerPreconditionDetectorTests.swift",
"SequenceInitializerNormalizerTests.swift",
"StoredMemberAccessLevelTests.swift",
"StoredMemberRecognitionTests.swift"
],
"target_dependencies" : [
"PropertyLawSyntaxSupport",
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawSyntaxSupport",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntaxSupport",
"path" : "Sources/PropertyLawSyntaxSupport",
"product_dependencies" : [
"SwiftSyntax"
],
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawSyntaxSupport",
"PropertyLawDiscoveryTool",
"PropertyLawMacroImpl"
],
"sources" : [
"InitializerPreconditionDetector.swift",
"MemberBlockInspector.swift",
"SequenceInitializerNormalizer.swift"
],
"target_dependencies" : [
"PropertyLawCore"
],
"type" : "library"
},
{
"c99name" : "PropertyLawSyntax",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntax",
"path" : "Sources/PropertyLawSyntax",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntax",
"SwiftParser"
],
"product_memberships" : [
"PropertyLawSyntax"
],
"sources" : [
"SyntaxGenConformances.swift",
"SyntaxGenerators.swift",
"SyntaxNodeGenerators.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawMinimalTypesTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMinimalTypesTests",
"path" : "Tests/PropertyLawMinimalTypesTests",
"product_dependencies" : [
"PropertyBased"
],
"sources" : [
"MinimalCodableTests.swift",
"MinimalTypesTests.swift"
],
"target_dependencies" : [
"PropertyLawMinimalTypes",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawMinimalTypes",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMinimalTypes",
"path" : "Sources/PropertyLawMinimalTypes",
"product_dependencies" : [
"PropertyBased"
],
"product_memberships" : [
"PropertyLawMinimalTypes"
],
"sources" : [
"MinimalCodableValue.swift",
"MinimalCodec.swift",
"MinimalCollections.swift",
"MinimalDecoder.swift",
"MinimalEncoder.swift",
"MinimalGenerators.swift",
"MinimalIndex.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "library"
},
{
"c99name" : "PropertyLawMacroTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacroTests",
"path" : "Tests/PropertyLawMacroTests",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntaxMacros",
"SwiftSyntaxMacrosTestSupport"
],
"sources" : [
"DiagnosticsTests.swift",
"DiscoverableMacroTests.swift",
"EndToEndTests.swift",
"InteractionInvariantTestsMacroTests.swift",
"MacroExpansionMultiTypeTests.swift",
"MacroExpansionTests.swift",
"ReferenceTypeLawTestsMacroTests.swift",
"ValueSemanticTestsMacroTests.swift"
],
"target_dependencies" : [
"PropertyLawMacro",
"PropertyLawMacroImpl",
"PropertyLawKit",
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawMacroImpl",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacroImpl",
"path" : "Sources/PropertyLawMacroImpl",
"product_dependencies" : [
"SwiftSyntax",
"SwiftSyntaxMacros",
"SwiftCompilerPlugin",
"SwiftDiagnostics"
],
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawMacroImpl"
],
"sources" : [
"Diagnostics.swift",
"DiscoverableMacro.swift",
"InteractionInvariantTestsMacro.swift",
"LawTestPeerMacros.swift",
"Plugin.swift",
"PropertyLawSuiteMacro.swift"
],
"target_dependencies" : [
"PropertyLawCore",
"PropertyLawSyntaxSupport"
],
"type" : "macro"
},
{
"c99name" : "PropertyLawMacro",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacro",
"path" : "Sources/PropertyLawMacro",
"product_memberships" : [
"PropertyLawMacro"
],
"sources" : [
"PropertyLawMacro.swift"
],
"target_dependencies" : [
"PropertyLawKit",
"PropertyLawMacroImpl"
],
"type" : "library"
},
{
"c99name" : "PropertyLawKitTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawKitTests",
"path" : "Tests/PropertyLawKitTests",
"product_dependencies" : [
"PropertyBased"
],
"sources" : [
"ActionSequenceFactoryTests.swift",
"AdditiveArithmeticLawsTests.swift",
"AlgebraicWalkedLawsTests.swift",
"AsciiScalarGeneratorTests.swift",
"BackendShrinkingTests.swift",
"BidirectionalCollectionLawsTests.swift",
"BinaryFloatingPointLawsTests.swift",
"BinaryIntegerLawsTests.swift",
"BudgetTests.swift",
"CaseIterableLawsTests.swift",
"CodableLawsTests.swift",
"CollectionLawsTests.swift",
"CommutativeMonoidLawsTests.swift",
"ComparableLawsTests.swift",
"CompositeGeneratorCompileTests.swift",
"CoverageHintsTests.swift",
"DefensiveCopyLawsTests.swift",
"DownstreamPropertyBackendSmokeTests.swift",
"ElementEquivalenceSequenceLawsTests.swift",
"EnforcementTests.swift",
"EnumerationBucketSearchTests.swift",
"EnumerationGeneratorBridgeTests.swift",
"EnumerationProductTests.swift",
"EnumerationReportingTests.swift",
"EnumerationSequenceTests.swift",
"EnumerationTests.swift",
"EqualValuePairingMeasurements.swift",
"EqualValuePairingTests.swift",
"EquatableLawsTests.swift",
"ErrorBoxTests.swift",
"EveryCarrierLawsTests.swift",
"EveryCaseLawsTests.swift",
"FixedWidthIntegerLawsTests.swift",
"FloatingPointLawsTests.swift",
"FoundationGeneratorsTests.swift",
"GroupLawsTests.swift",
"HashableLawsTests.swift",
"Helpers/Generators.swift",
"Helpers/RecordedWarnings.swift",
"Helpers/SeededValueType.swift",
"IdentifiableLawsTests.swift",
"InteractionInvariantAsyncLawsTests.swift",
"InteractionInvariantLawsTests.swift",
"InteractionInvariantTests.swift",
"InvariantFalsifiabilityTests.swift",
"IteratorProtocolLawsTests.swift",
"LawIdentifierTests.swift",
"LosslessStringConvertibleLawsTests.swift",
"MonoidLawsTests.swift",
"MutableCollectionLawsTests.swift",
"NaNGeneratorSeedingTests.swift",
"NearMissTests.swift",
"NumericLawsTests.swift",
"PlantedBugs/PlantedAdditiveArithmeticViolators.swift",
"PlantedBugs/PlantedBinaryIntegerViolators.swift",
"PlantedBugs/PlantedBugCollectionRefinementsDetectionTests.swift",
"PlantedBugs/PlantedBugCollectionsDetectionTests.swift",
"PlantedBugs/PlantedBugDetectionTests.swift",
"PlantedBugs/PlantedBugFloatingPointDetectionTests.swift",
"PlantedBugs/PlantedBugIntegerDetectionTests.swift",
"PlantedBugs/PlantedBugMonoidDetectionTests.swift",
"PlantedBugs/PlantedBugNumericDetectionTests.swift",
"PlantedBugs/PlantedBugRoundTripDetectionTests.swift",
"PlantedBugs/PlantedBugSemigroupDetectionTests.swift",
"PlantedBugs/PlantedCaseIterableViolators.swift",
"PlantedBugs/PlantedCodableViolators.swift",
"PlantedBugs/PlantedCollectionRefinementsViolators.swift",
"PlantedBugs/PlantedCollectionViolators.swift",
"PlantedBugs/PlantedComparableViolators.swift",
"PlantedBugs/PlantedEquatableViolators.swift",
"PlantedBugs/PlantedFixedWidthIntegerViolators.swift",
"PlantedBugs/PlantedFloatingPointViolators.swift",
"PlantedBugs/PlantedHashableViolators.swift",
"PlantedBugs/PlantedIdentifiableViolators.swift",
"PlantedBugs/PlantedIteratorViolators.swift",
"PlantedBugs/PlantedLosslessStringConvertibleViolators.swift",
"PlantedBugs/PlantedMonoidViolators.swift",
"PlantedBugs/PlantedNumericViolators.swift",
"PlantedBugs/PlantedRawRepresentableViolators.swift",
"PlantedBugs/PlantedSemigroupViolators.swift",
"PlantedBugs/PlantedSequenceViolators.swift",
"PlantedBugs/PlantedSetAlgebraSubtractingViolators.swift",
"PlantedBugs/PlantedSetAlgebraViolators.swift",
"PlantedBugs/PlantedSignedIntegerViolators.swift",
"PlantedBugs/PlantedSignedNumericViolators.swift",
"PlantedBugs/PlantedStrideableViolators.swift",
"PlantedBugs/PlantedUnsignedIntegerViolators.swift",
"RandomAccessCollectionLawsTests.swift",
"RangeReplaceableCollectionLawsTests.swift",
"RareAntecedentTests.swift",
"RawRepresentableLawsTests.swift",
"ReplayValidationTests.swift",
"RingLawsTests.swift",
"SameResultTests.swift",
"SampledSpaceTests.swift",
"SeedTests.swift",
"SemigroupLawsTests.swift",
"SemilatticeLawsTests.swift",
"SequenceLawsTests.swift",
"SetAlgebraLawsTests.swift",
"SignedNumericLawsTests.swift",
"StableIdentityLawsTests.swift",
"StrictWeakOrderingLawsTests.swift",
"StrideableLawsTests.swift",
"StringProtocolCounterexampleFormatterTests.swift",
"StringProtocolLawsTests.swift",
"SuppressionTests.swift",
"TransformationFunctionLawsTests.swift",
"TransformationLawsTests.swift",
"UnicodeScalarGeneratorTests.swift",
"ValueSemanticLawsTests.swift",
"WalkedActionSequenceTests.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawKit",
"module_type" : "SwiftTarget",
"name" : "PropertyLawKit",
"path" : "Sources/PropertyLawKit",
"product_dependencies" : [
"PropertyBased"
],
"product_memberships" : [
"PropertyLawKit",
"PropertyLawMacro",
"PropertyLawCollections",
"PropertyLawMinimalTypes",
"PropertyLawAsync"
],
"sources" : [
"Internal/AggregateDriver.swift",
"Internal/Backends/SwiftPropertyBasedBackend.swift",
"Internal/CheckPreflight.swift",
"Internal/CoverageAccumulator.swift",
"Internal/DrawPoolDriver.swift",
"Internal/EnumerationDriver.swift",
"Internal/EqualValueLawBuilders.swift",
"Internal/InheritedLawCollector.swift",
"Internal/LawCheckBuilders.swift",
"Internal/LawSuppressionPolicy.swift",
"Internal/NearMissCollector.swift",
"Internal/PerLawDriver.swift",
"Internal/PropertyLawSuiteRunner.swift",
"Internal/ReplayEnvironmentValidator.swift",
"Internal/SpaceSampling.swift",
"Internal/ViolationFormatter.swift",
"Model/CheckResult.swift",
"Model/CodableCodec.swift",
"Model/CodableLawConfig.swift",
"Model/CodableRoundTripMode.swift",
"Model/EnforcementMode.swift",
"Model/Environment.swift",
"Model/EqualValuePairing.swift",
"Model/InputSource.swift",
"Model/LawCheckOptions.swift",
"Model/LawIdentifier.swift",
"Model/LawSelection.swift",
"Model/LawSuppression.swift",
"Model/PropertyLawViolation.swift",
"Model/Seed.swift",
"Model/SequenceLawOptions.swift",
"Model/SpaceCoverage.swift",
"Model/StrictnessTier.swift",
"Model/TrialBudget.swift",
"PropertyLawKit.swift",
"Public/ActionSequenceFactory.swift",
"Public/AdditiveArithmeticLaws.swift",
"Public/BidirectionalCollectionLaws.swift",
"Public/BinaryFloatingPointLaws.swift",
"Public/BinaryIntegerLaws.swift",
"Public/CaseIterableLaws.swift",
"Public/CodableLaws.swift",
"Public/CollectionLaws.swift",
"Public/CommutativeMonoid.swift",
"Public/CommutativeMonoidLaws.swift",
"Public/ComparableLaws.swift",
"Public/CoverageClassifier.swift",
"Public/DefensiveCopy.swift",
"Public/DefensiveCopyLaws.swift",
"Public/Enumeration.swift",
"Public/EnumerationCombinators.swift",
"Public/EnumerationProduct.swift",
"Public/EquatableLaws.swift",
"Public/EveryCarrierLaws.swift",
"Public/EveryCaseLaws.swift",
"Public/FixedWidthIntegerLaws.swift",
"Public/FloatingPointCommutativityLaws.swift",
"Public/FloatingPointLaws.swift",
"Public/FoundationGenerators.swift",
"Public/Group.swift",
"Public/GroupLaws.swift",
"Public/HashableLaws.swift",
"Public/IdentifiableLaws.swift",
"Public/InteractionInvariant.swift",
"Public/InteractionInvariantLaws+Async.swift",
"Public/InteractionInvariantLaws.swift",
"Public/InvariantFalsifiabilityLaw.swift",
"Public/IteratorProtocolLaws.swift",
"Public/LosslessStringConvertibleLaws.swift",
"Public/Monoid.swift",
"Public/MonoidLaws.swift",
"Public/MutableCollectionLaws.swift",
"Public/NumericGenerators.swift",
"Public/NumericLaws.swift",
"Public/PropertyBackend.swift",
"Public/RandomAccessCollectionLaws.swift",
"Public/RangeReplaceableCollectionLaws.swift",
"Public/RawRepresentableLaws.swift",
"Public/ReplayEnvironmentMismatch.swift",
"Public/Ring.swift",
"Public/RingLaws.swift",
"Public/SameResult.swift",
"Public/Semigroup.swift",
"Public/SemigroupLaws.swift",
"Public/Semilattice.swift",
"Public/SemilatticeLaws.swift",
"Public/SequenceLaws.swift",
"Public/SetAlgebraLaws.swift",
"Public/SignedIntegerLaws.swift",
"Public/SignedNumericLaws.swift",
"Public/StableIdentity.swift",
"Public/StableIdentityLaws.swift",
"Public/StatefulGuard.swift",
"Public/StdlibGenerators.swift",
"Public/StrictWeakOrderingLaws.swift",
"Public/StrictWeakOrderingVacuity.swift",
"Public/StrideableLaws.swift",
"Public/StringProtocolLaws.swift",
"Public/TransformationFunctionLaws.swift",
"Public/TransformationLaws.swift",
"Public/UnsignedIntegerLaws.swift",
"Public/ValueSemantic.swift",
"Public/ValueSemanticLaws.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawDiscoveryToolTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryToolTests",
"path" : "Tests/PropertyLawDiscoveryToolTests",
"product_dependencies" : [
"SwiftSyntax",
"SwiftParser"
],
"sources" : [
"AdvisorySuggesterTests.swift",
"ContextFileTests.swift",
"EmittedFileParsesTests.swift",
"EmitterGoldenTests.swift",
"ExtensionOnlyAndSendableTests.swift",
"ImportEmissionTests.swift",
"ModuleImportEmissionTests.swift",
"ModuleProvenanceTests.swift",
"ModuleScannerRoundTripTests.swift",
"ModuleScannerTests.swift",
"NestedTypeScanningTests.swift",
"RoundTripSuggesterTests.swift",
"ScaffoldFileEmitterTests.swift",
"SkippedTypeTests.swift",
"SuppressionParserTests.swift",
"TodoCategoryTests.swift",
"ToolInvocationTests.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool",
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawDiscoveryTool",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryTool",
"path" : "Sources/PropertyLawDiscoveryTool",
"product_dependencies" : [
"SwiftSyntax",
"SwiftParser"
],
"product_memberships" : [
"PropertyLawDiscoveryTool"
],
"sources" : [
"AdvisorySuggester.swift",
"ConformanceMap.swift",
"GeneratedFileEmitter.swift",
"ModuleScanner+Declarations.swift",
"ModuleScanner+Shapes.swift",
"ModuleScanner+Skipping.swift",
"ModuleScanner.swift",
"PropertyLawDiscoveryTool.swift",
"RoundTripFinder.swift",
"RoundTripSuggester.swift",
"ScaffoldFileEmitter.swift",
"SendableProtocols.swift",
"SuppressionParser.swift",
"ToolInvocation.swift",
"WitnessFinder.swift"
],
"target_dependencies" : [
"PropertyLawCore",
"PropertyLawSyntaxSupport"
],
"type" : "executable"
},
{
"c99name" : "PropertyLawDiscoveryPlugin",
"module_type" : "PluginTarget",
"name" : "PropertyLawDiscoveryPlugin",
"path" : "Plugins/PropertyLawDiscoveryPlugin",
"plugin_capability" : {
"intent" : {
"description" : "Generate PropertyLawKit test files by walking a target's source files and detecting stdlib protocol conformances.",
"type" : "custom",
"verb" : "propertylawcheck"
},
"permissions" : [
{
"network_scope" : {
"none" : {
}
},
"reason" : "PropertyLawDiscoveryPlugin writes a generated test file (default: Tests/<Target>Tests/PropertyLawTests.generated.swift) listing the checkXxxPropertyLaws calls for each detected conformance.",
"type" : "writeToPackageDirectory"
}
],
"type" : "command"
},
"sources" : [
"plugin.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool"
],
"type" : "plugin"
},
{
"c99name" : "PropertyLawCoreTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCoreTests",
"path" : "Tests/PropertyLawCoreTests",
"product_dependencies" : [
"PropertyBased"
],
"sources" : [
"AccessLevelDerivationTests.swift",
"CapacityHintDerivationTests.swift",
"CollectionInitializerPreferenceTests.swift",
"CompositeMemberDerivationTests.swift",
"DerivationStrategistTests.swift",
"EdgeBiasedStringGeneratorTests.swift",
"EmittedExpressionCompilesTests.swift",
"EnumPayloadDerivationTests.swift",
"EnumTodoReasonTests.swift",
"GeneratorExpressionEmitterTests.swift",
"GeneratorPlanTests.swift",
"GeneratorResolverTests.swift",
"HostileStringGeneratorTests.swift",
"InitializerAccessDerivationTests.swift",
"InitializerBasedDerivationTests.swift",
"InitializerTodoReasonTests.swift",
"KnownValueTypeDerivationTests.swift",
"LabelNarrowedGeneratorTests.swift",
"MemberwiseEmitterTests.swift",
"ModuleQualifiedSpellingTests.swift",
"RecursiveGeneratorTests.swift",
"ResolutionFailureTests.swift",
"ScaffoldEmitterTests.swift",
"ScopedTypeLookupTests.swift",
"SendableClassDerivationTests.swift",
"StatelessDerivationTests.swift",
"SubjectTokenGeneratorTests.swift",
"TextLiteralInitializerDerivationTests.swift",
"UnresolvedLeafNamingTests.swift",
"UnsoundInitializerDerivationTests.swift"
],
"target_dependencies" : [
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawCore",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCore",
"path" : "Sources/PropertyLawCore",
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawSyntaxSupport",
"PropertyLawCore",
"PropertyLawDiscoveryTool",
"PropertyLawMacroImpl"
],
"sources" : [
"AccessLevel.swift",
"CompositeMemberParser.swift",
"DerivationStrategy.swift",
"EnumPayloadDerivation.swift",
"GeneratorExpressionEmitter.swift",
"GeneratorPlan.swift",
"GeneratorResolver.swift",
"InitializerBasedDerivation+CollectionPreference.swift",
"InitializerBasedDerivation.swift",
"KnownProtocol.swift",
"LabelNarrowedGenerators.swift",
"MemberwiseEmitter.swift",
"PropertyLawTestStub.swift",
"QualifiedTypeName.swift",
"RawType.swift",
"RecursiveGeneratorEmitter.swift",
"ResolutionFailure.swift",
"Scaffold.swift",
"StatelessDerivation.swift",
"TodoReason.swift",
"TypeShape.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawComplexTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawComplexTests",
"path" : "Tests/PropertyLawComplexTests",
"product_dependencies" : [
"PropertyBased",
"ComplexModule",
"RealModule"
],
"sources" : [
"EdgeCaseBiasedGeneratorsTests.swift"
],
"target_dependencies" : [
"PropertyLawComplex"
],
"type" : "test"
},
{
"c99name" : "PropertyLawComplex",
"module_type" : "SwiftTarget",
"name" : "PropertyLawComplex",
"path" : "Sources/PropertyLawComplex",
"product_dependencies" : [
"PropertyBased",
"ComplexModule",
"RealModule"
],
"product_memberships" : [
"PropertyLawComplex"
],
"sources" : [
"EdgeCaseBiasedGenerators.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawCollectionsTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCollectionsTests",
"path" : "Tests/PropertyLawCollectionsTests",
"product_dependencies" : [
"PropertyBased",
"DequeModule",
"OrderedCollections",
"HeapModule",
"BitCollections",
"HashTreeCollections"
],
"sources" : [
"BitSetLawsTests.swift",
"ConformanceAuditTests.swift",
"DequeLawsTests.swift",
"DequeLayoutTests.swift",
"DequeSymmetryLawsTests.swift",
"HashTreeLawsTests.swift",
"HeapGeneratorTests.swift",
"HeapLawsTests.swift",
"OrderPreservationLawsTests.swift",
"OrderedDictionaryLawsTests.swift",
"OrderedSetLawsTests.swift"
],
"target_dependencies" : [
"PropertyLawCollections",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawCollections",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCollections",
"path" : "Sources/PropertyLawCollections",
"product_dependencies" : [
"PropertyBased",
"DequeModule",
"OrderedCollections",
"HeapModule",
"BitCollections",
"HashTreeCollections"
],
"product_memberships" : [
"PropertyLawCollections"
],
"sources" : [
"BitSetGenerators.swift",
"DequeGenerators.swift",
"DequeLayouts.swift",
"DequeSymmetryLaws.swift",
"HashTreeGenerators.swift",
"HeapGenerators.swift",
"HeapLaws.swift",
"OrderPreservationLaws.swift",
"OrderedDictionaryGenerators.swift",
"OrderedSetGenerators.swift",
"PropertyLawCollections.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "library"
},
{
"c99name" : "PropertyLawAsyncTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawAsyncTests",
"path" : "Tests/PropertyLawAsyncTests",
"product_dependencies" : [
"PropertyBased",
"AsyncAlgorithms"
],
"sources" : [
"AsyncSequenceLawsTests.swift",
"TimedAsyncLawsTests.swift",
"VirtualTimeTests.swift"
],
"target_dependencies" : [
"PropertyLawAsync",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawAsync",
"module_type" : "SwiftTarget",
"name" : "PropertyLawAsync",
"path" : "Sources/PropertyLawAsync",
"product_dependencies" : [
"PropertyBased",
"AsyncAlgorithms"
],
"product_memberships" : [
"PropertyLawAsync"
],
"sources" : [
"AsyncOrderLaws.swift",
"AsyncSequenceLaws.swift",
"GlobalEnqueueHook.swift",
"TimedAsyncLaws.swift",
"VirtualClock.swift",
"VirtualTimeScheduler.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "library"
}
],
"tools_version" : "6.1"
}
Done.