Skip to content

Instantly share code, notes, and snippets.

@mattmassicotte

mattmassicotte/crash.txt

Created July 24, 2024 19:50
Show Gist options
  • Save mattmassicotte/24cc3e7def3167753a92167a39b1e159 to your computer and use it in GitHub Desktop.
Save mattmassicotte/24cc3e7def3167753a92167a39b1e159 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
crash.txt
---Constraint solving at [/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 - line:6:25]---
(overload set choice binding $T2 := (StaticString, StaticString...) -> ())
---Initial constraints for the given expression---
(macro_expansion_expr type="()" location=/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 range=[/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 - line:6:25] name="IndexKeyRecord" discriminator=0
(argument_list
(argument
(string_literal_expr type="$T0" location=/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17 range=[/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17 - line:6:17] encoding=utf8 value="a" builtin_initializer="**NULL**" initializer="**NULL**"))
(argument
(string_literal_expr type="$T1" location=/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22 range=[/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22 - line:6:22] encoding=utf8 value="b" builtin_initializer="**NULL**" initializer="**NULL**"))))
Score: <default 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0>
Type Variables:
$T0 [allows bindings to: noescape] [with possible bindings: (subtypes of) StaticString] @ locator@0x160a1c600 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17]
$T1 [allows bindings to: noescape] [with possible bindings: (subtypes of) StaticString] @ locator@0x160a1c6b8 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22]
$T2 as (StaticString, StaticString...) -> () @ locator@0x160a1c768 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1]
$T3 as () @ locator@0x160a1c7b0 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → function result]
Inactive Constraints:
$T0 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c600 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17]
$T1 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c6b8 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22]
$T0 arg conv StaticString @ locator@0x160a1c8c0 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #0 to parameter #0]
$T1 arg conv StaticString @ locator@0x160a1c960 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #1 to parameter #1]
Resolved overloads:
selected overload set choice IndexKeyRecord: $T2 == (StaticString, StaticString...) -> () for locator@0x160a1c768 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1]
---Constraint graph---
$T0:
Constraints:
$T0 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c600 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17]
$T0 arg conv StaticString @ locator@0x160a1c8c0 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #0 to parameter #0]
$T1:
Constraints:
$T1 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c6b8 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22]
$T1 arg conv StaticString @ locator@0x160a1c960 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #1 to parameter #1]
$T2:
$T3:
---Connected components---
0: $T0
1: $T1
(solving component #1
Type variables in scope = [$T1]
(Potential Binding(s):
($T1 [allows bindings to: noescape] [with possible bindings: (subtypes of) StaticString])
)
(attempting type variable binding $T1 := StaticString
(increasing 'non-default literal' score by 1 @ locator@0x160a1c6b8 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22])
(considering: $T1 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c6b8 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22]
(simplification result:
(removed constraint: $T1 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c6b8 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22])
)
(outcome: simplified)
)
(considering: $T1 arg conv StaticString @ locator@0x160a1c960 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #1 to parameter #1]
(simplification result:
(removed constraint: $T1 arg conv StaticString @ locator@0x160a1c960 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #1 to parameter #1])
)
(outcome: simplified)
)
(Changes:
(Newly Bound:
> $T1 := StaticString
)
(Removed Constraints:
> $T1 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c6b8 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22]
> $T1 arg conv StaticString @ locator@0x160a1c960 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #1 to parameter #1]
)
)
(found solution: [component: non-default literal(s), value: 1])
)
finished component #1)
(solving component #0
Type variables in scope = [$T0]
(Potential Binding(s):
($T0 [allows bindings to: noescape] [with possible bindings: (subtypes of) StaticString])
)
(attempting type variable binding $T0 := StaticString
(increasing 'non-default literal' score by 1 @ locator@0x160a1c600 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17])
(considering: $T0 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c600 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17]
(simplification result:
(removed constraint: $T0 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c600 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17])
)
(outcome: simplified)
)
(considering: $T0 arg conv StaticString @ locator@0x160a1c8c0 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #0 to parameter #0]
(simplification result:
(removed constraint: $T0 arg conv StaticString @ locator@0x160a1c8c0 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #0 to parameter #0])
)
(outcome: simplified)
)
(Changes:
(Newly Bound:
> $T0 := StaticString
)
(Removed Constraints:
> $T0 literal conforms to ExpressibleByUnicodeScalarLiteral @ locator@0x160a1c600 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17]
> $T0 arg conv StaticString @ locator@0x160a1c8c0 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument → comparing call argument #0 to parameter #0]
)
)
(found solution: [component: non-default literal(s), value: 1])
)
finished component #0)
(composed solution: [component: non-default literal(s), value: 2])
---Solver statistics---
Total number of scopes explored: 6
Maximum depth reached while exploring solutions: 3
Time: 1.241000e+00ms
---Solution---
Fixed score: [component: non-default literal(s), value: 2]
Type variables:
$T0 as StaticString @ locator@0x160a1c600 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17]
$T1 as StaticString @ locator@0x160a1c6b8 [StringLiteral@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22]
$T2 as (StaticString, StaticString...) -> () @ locator@0x160a1c768 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1]
$T3 as () @ locator@0x160a1c7b0 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → function result]
Overload choices:
locator@0x160a1c768 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1] with Empire.(file).IndexKeyRecord@/Users/matt/Developer/Empire/Sources/Empire/Macros.swift:15:14 as IndexKeyRecord: (StaticString, StaticString...) -> ()
Trailing closure matching:
locator@0x160a1c898 [MacroExpansion@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 → apply argument]: forward
---Type-checked expression---
(macro_expansion_expr type="()" location=/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 range=[/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:1 - line:6:25] name="IndexKeyRecord" discriminator=0
(argument_list
(argument
(string_literal_expr type="StaticString" location=/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17 range=[/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:17 - line:6:17] encoding=utf8 value="a" builtin_initializer="Swift.(file).StaticString extension.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)" initializer="**NULL**"))
(argument
(string_literal_expr type="StaticString" location=/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22 range=[/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:6:22 - line:6:22] encoding=utf8 value="b" builtin_initializer="Swift.(file).StaticString extension.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)" initializer="**NULL**"))))
(found solution: <default 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0>)
(found solution: <default 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0>)
(found solution: <default 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0>)
(considering: $T1 conforms to RawRepresentable @ locator@0x1571348b8 [Swift.(file).Equatable.== → witness Swift.(file).== → opened generic → type parameter requirement #0 (conformance)]
(simplification result:
(attempting fix [fix: add missing protocol conformance] @ locator@0x1571348b8 [Swift.(file).Equatable.== → witness Swift.(file).== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1571348b8 [Swift.(file).Equatable.== → witness Swift.(file).== → opened generic → type parameter requirement #0 (conformance)])
(removed constraint: $T1 conforms to RawRepresentable @ locator@0x1571348b8 [Swift.(file).Equatable.== → witness Swift.(file).== → opened generic → type parameter requirement #0 (conformance)])
)
(outcome: simplified)
)
(considering: $T1.RawValue conforms to Equatable @ locator@0x157134988 [Swift.(file).Equatable.== → witness Swift.(file).== → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
(removed constraint: $T1.RawValue conforms to Equatable @ locator@0x157134988 [Swift.(file).Equatable.== → witness Swift.(file).== → opened generic → type parameter requirement #1 (conformance)])
)
(outcome: simplified)
)
(found solution: [component: applied fix(s), value: 1])
(attempting fix [fix: add missing protocol conformance] @ locator@0x1571349d0 [Swift.(file).Equatable.== → witness Swift.(file).FloatingPoint extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1571349d0 [Swift.(file).Equatable.== → witness Swift.(file).FloatingPoint extension.== → opened generic → type parameter requirement #0 (conformance)])
(found solution: [component: applied fix(s), value: 1])
(attempting fix [fix: add missing protocol conformance] @ locator@0x157134a40 [Swift.(file).Equatable.== → witness Swift.(file).BinaryInteger extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x157134a40 [Swift.(file).Equatable.== → witness Swift.(file).BinaryInteger extension.== → opened generic → type parameter requirement #0 (conformance)])
(considering: $T2 conforms to BinaryInteger @ locator@0x157134ac8 [Swift.(file).Equatable.== → witness Swift.(file).BinaryInteger extension.== → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
(attempting fix [fix: add missing protocol conformance] @ locator@0x157134ac8 [Swift.(file).Equatable.== → witness Swift.(file).BinaryInteger extension.== → opened generic → type parameter requirement #1 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x157134ac8 [Swift.(file).Equatable.== → witness Swift.(file).BinaryInteger extension.== → opened generic → type parameter requirement #1 (conformance)])
(removed constraint: $T2 conforms to BinaryInteger @ locator@0x157134ac8 [Swift.(file).Equatable.== → witness Swift.(file).BinaryInteger extension.== → opened generic → type parameter requirement #1 (conformance)])
)
(outcome: simplified)
)
(found solution: [component: applied fix(s), value: 2])
(attempting fix [fix: add missing protocol conformance] @ locator@0x1400165d0 [Swift.(file).Equatable.== → witness Swift.(file)._Pointer extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1400165d0 [Swift.(file).Equatable.== → witness Swift.(file)._Pointer extension.== → opened generic → type parameter requirement #0 (conformance)])
(found solution: [component: applied fix(s), value: 1])
(attempting fix [fix: add missing protocol conformance] @ locator@0x140016640 [Swift.(file).Equatable.== → witness Swift.(file)._Pointer extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x140016640 [Swift.(file).Equatable.== → witness Swift.(file)._Pointer extension.== → opened generic → type parameter requirement #0 (conformance)])
(considering: $T2 conforms to _Pointer @ locator@0x1400166c8 [Swift.(file).Equatable.== → witness Swift.(file)._Pointer extension.== → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
(attempting fix [fix: add missing protocol conformance] @ locator@0x1400166c8 [Swift.(file).Equatable.== → witness Swift.(file)._Pointer extension.== → opened generic → type parameter requirement #1 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1400166c8 [Swift.(file).Equatable.== → witness Swift.(file)._Pointer extension.== → opened generic → type parameter requirement #1 (conformance)])
(removed constraint: $T2 conforms to _Pointer @ locator@0x1400166c8 [Swift.(file).Equatable.== → witness Swift.(file)._Pointer extension.== → opened generic → type parameter requirement #1 (conformance)])
)
(outcome: simplified)
)
(found solution: [component: applied fix(s), value: 2])
(attempting fix [fix: add missing protocol conformance] @ locator@0x1570a0dd0 [Swift.(file).Equatable.== → witness Swift.(file).Strideable extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1570a0dd0 [Swift.(file).Equatable.== → witness Swift.(file).Strideable extension.== → opened generic → type parameter requirement #0 (conformance)])
(found solution: [component: applied fix(s), value: 1])
(attempting fix [fix: add missing protocol conformance] @ locator@0x1570a0e40 [Swift.(file).Equatable.== → witness Swift.(file).StringProtocol extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1570a0e40 [Swift.(file).Equatable.== → witness Swift.(file).StringProtocol extension.== → opened generic → type parameter requirement #0 (conformance)])
(considering: $T2 conforms to StringProtocol @ locator@0x1570a0ec8 [Swift.(file).Equatable.== → witness Swift.(file).StringProtocol extension.== → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
(attempting fix [fix: add missing protocol conformance] @ locator@0x1570a0ec8 [Swift.(file).Equatable.== → witness Swift.(file).StringProtocol extension.== → opened generic → type parameter requirement #1 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1570a0ec8 [Swift.(file).Equatable.== → witness Swift.(file).StringProtocol extension.== → opened generic → type parameter requirement #1 (conformance)])
(removed constraint: $T2 conforms to StringProtocol @ locator@0x1570a0ec8 [Swift.(file).Equatable.== → witness Swift.(file).StringProtocol extension.== → opened generic → type parameter requirement #1 (conformance)])
)
(outcome: simplified)
)
(found solution: [component: applied fix(s), value: 2])
(attempting fix [fix: add missing protocol conformance] @ locator@0x1570a0dd0 [Swift.(file).Equatable.== → witness Swift.(file).SIMD extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1570a0dd0 [Swift.(file).Equatable.== → witness Swift.(file).SIMD extension.== → opened generic → type parameter requirement #0 (conformance)])
(found solution: [component: applied fix(s), value: 1])
(attempting fix [fix: add missing protocol conformance] @ locator@0x1570a0e40 [Swift.(file).Equatable.== → witness Foundation.(file).AttributedStringProtocol extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1570a0e40 [Swift.(file).Equatable.== → witness Foundation.(file).AttributedStringProtocol extension.== → opened generic → type parameter requirement #0 (conformance)])
(considering: $T2 conforms to AttributedStringProtocol @ locator@0x1570a0ec8 [Swift.(file).Equatable.== → witness Foundation.(file).AttributedStringProtocol extension.== → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
(attempting fix [fix: add missing protocol conformance] @ locator@0x1570a0ec8 [Swift.(file).Equatable.== → witness Foundation.(file).AttributedStringProtocol extension.== → opened generic → type parameter requirement #1 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x1570a0ec8 [Swift.(file).Equatable.== → witness Foundation.(file).AttributedStringProtocol extension.== → opened generic → type parameter requirement #1 (conformance)])
(removed constraint: $T2 conforms to AttributedStringProtocol @ locator@0x1570a0ec8 [Swift.(file).Equatable.== → witness Foundation.(file).AttributedStringProtocol extension.== → opened generic → type parameter requirement #1 (conformance)])
)
(outcome: simplified)
)
(found solution: [component: applied fix(s), value: 2])
(attempting fix [fix: add missing protocol conformance] @ locator@0x14700f3d0 [Swift.(file).Equatable.== → witness Foundation.(file)._BridgedStoredNSError extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x14700f3d0 [Swift.(file).Equatable.== → witness Foundation.(file)._BridgedStoredNSError extension.== → opened generic → type parameter requirement #0 (conformance)])
(found solution: [component: applied fix(s), value: 1])
(attempting fix [fix: add missing protocol conformance] @ locator@0x14700f3d0 [Swift.(file).Equatable.== → witness CoreFoundation.(file)._CFObject extension.== → opened generic → type parameter requirement #0 (conformance)])
(increasing 'applied fix' score by 1 @ locator@0x14700f3d0 [Swift.(file).Equatable.== → witness CoreFoundation.(file)._CFObject extension.== → opened generic → type parameter requirement #0 (conformance)])
(found solution: [component: applied fix(s), value: 1])
(found solution: <default 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0>)
---Constraint solving at [@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 - line:3:19]---
(overload set choice binding $T2 := TestRecord.Type)
(attempting fix [fix: allow access to instance member on type or a type member on instance] @ locator@0x14701b8a8 [UnresolvedDot@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 → member])
(increasing 'applied fix' score by 1 @ locator@0x14701b8a8 [UnresolvedDot@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 → member])
(overload set choice binding $T3 := String)
(overload set choice binding $T5 := ($T8, ComparisonOperator<$T7>) -> Query<Pack{/* shape: $T0 */ repeat $T0}, $T1> [Last := $T7, each Component := $T6])
(attempting fix [fix: allow argument to parameter type conversion mismatch] @ locator@0x147023518 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #1])
(increasing 'applied fix' score by 2 @ locator@0x147023518 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #1])
---Initial constraints for the given expression---
(call_expr type="Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>" location=@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 range=[@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 - line:3:19] isolation_crossing="none"
(type_expr type="Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>.Type" location=@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 range=[@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 - line:3:6] typerepr="Query")
(argument_list labels="last:"
(argument label="last"
(unresolved_dot_expr type="String" location=@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 range=[@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 - line:3:18] field="a" function_ref=unapplied
(declref_expr implicit type="TestRecord.Type" location=@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 range=[@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 - line:3:18] decl="EmpireTests.(file).TestRecord extension.select().self@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:2:24" function_ref=unapplied)))))
Score: [component: applied fix(s), value: 3]
Type Variables:
$T0 [allows bindings to: hole, pack] [attributes: hole, potentially_incomplete] [involves_type_vars: $T8] [#defaultable_bindings: 1] [with possible bindings: <empty>] @ locator@0x14701b418 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → generic parameter 'each Component']
$T1 [allows bindings to: hole] [attributes: hole, potentially_incomplete] [#defaultable_bindings: 1] [with possible bindings: <empty>] @ locator@0x14701b470 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → generic parameter 'Last']
$T2 as TestRecord.Type @ locator@0x14701b830 [DeclRef@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18]
$T3 as String @ locator@0x14701b8a8 [UnresolvedDot@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 → member]
$T4 as Query<Pack{/* shape: $T0 */ repeat $T0}, $T1> @ locator@0x14701b9c0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → function result]
$T5 as ($T8, ComparisonOperator<$T1>) -> Query<Pack{/* shape: $T0 */ repeat $T0}, $T1> @ locator@0x14701bab0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member type (for short-form or self.init call)]
$T6 [allows bindings to: hole, pack] [attributes: hole, potentially_incomplete] [involves_type_vars: ] [#defaultable_bindings: 1] [with possible bindings: <empty>] @ locator@0x14701bbd0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic parameter 'each Component']
$T7 equivalent to $T1 @ locator@0x14701bc50 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic parameter 'Last']
$T8 [allows bindings to: pack expansion] [involves_type_vars: $T0] [with possible bindings: (supertypes of) /* shape: $T0 */ repeat $T0, (supertypes of) /* shape: Pack{} */ repeat Pack{}] [defaults: /* shape: $T6 */ repeat $T6] @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)]
Active Constraints:
$T1 conforms to IndexKeyComparable @ locator@0x14701b638 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #2 (conformance)]
$T1 conforms to Serializable @ locator@0x14701b6d8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #3 (conformance)]
$T8 can fallback to /* shape: $T6 */ repeat $T6 @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)]
/* shape: $T0 */ repeat $T0 bind $T8 @ locator@0x14701c028 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0]
$T1 conforms to IndexKeyComparable @ locator@0x14701c2b0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #2 (conformance)]
$T1 conforms to Serializable @ locator@0x14701c370 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #3 (conformance)]
$T0 conforms to IndexKeyComparable @ locator@0x14701b4f8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #0 (conformance)]
$T0 conforms to Serializable @ locator@0x14701b598 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #1 (conformance)]
/* shape: Pack{} */ repeat Pack{} arg conv $T8 @ locator@0x147023478 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0]
Inactive Constraints:
$T6 conforms to IndexKeyComparable @ locator@0x14701c130 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #0 (conformance)]
$T6 conforms to Serializable @ locator@0x14701c1f0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #1 (conformance)]
Resolved overloads:
selected overload set choice self: $T2 == TestRecord.Type for locator@0x14701b830 [DeclRef@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18]
selected overload set choice TestRecord.a: $T3 == String for locator@0x14701b8a8 [UnresolvedDot@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 → member]
selected overload set choice Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>.Type.init: $T5 == ($T8, ComparisonOperator<$T7>) -> Query<Pack{/* shape: $T0 */ repeat $T0}, $T1> for locator@0x14701bb20 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member]
Opened types:
locator@0x14701b400 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6] opens 'Last' (τ_0_1) -> $T1, 'each Component' (each τ_0_0) -> $T0
locator@0x14701bb20 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member] opens 'Last' (τ_0_1) -> $T7, 'each Component' (each τ_0_0) -> $T6
Opened pack expansion types:
/* shape: $T6 */ repeat $T6 opens to $T8
Fixes:
[fix: allow access to instance member on type or a type member on instance] @ locator@0x14701b8a8 [UnresolvedDot@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 → member]
[fix: allow argument to parameter type conversion mismatch] @ locator@0x147023518 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #1]
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701b638 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to Serializable @ locator@0x14701b6d8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T8 can fallback to /* shape: $T6 */ repeat $T6 @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)]
(simplification result:
)
(outcome: unsolved)
)
(considering: /* shape: $T0 */ repeat $T0 bind $T8 @ locator@0x14701c028 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701c2b0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to Serializable @ locator@0x14701c370 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T0 conforms to IndexKeyComparable @ locator@0x14701b4f8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #0 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T0 conforms to Serializable @ locator@0x14701b598 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: /* shape: Pack{} */ repeat Pack{} arg conv $T8 @ locator@0x147023478 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0]
(simplification result:
)
(outcome: unsolved)
)
(Potential Binding(s):
($T8 [allows bindings to: pack expansion] [involves_type_vars: $T0] [with possible bindings: (supertypes of) /* shape: $T0 */ repeat $T0, (supertypes of) /* shape: Pack{} */ repeat Pack{}] [defaults: /* shape: $T6 */ repeat $T6])
)
(attempting type variable binding $T8 := /* shape: $T6 */ repeat $T6
(considering: $T8 can fallback to /* shape: $T6 */ repeat $T6 @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)]
(simplification result:
(removed constraint: $T8 can fallback to /* shape: $T6 */ repeat $T6 @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)])
)
(outcome: simplified)
)
(considering: /* shape: $T0 */ repeat $T0 bind $T8 @ locator@0x14701c028 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0]
(simplification result:
(added constraint: $T0 same-shape $T6 @ locator@0x147023620 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0 → pack shape])
(removed constraint: /* shape: $T0 */ repeat $T0 bind $T8 @ locator@0x14701c028 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0])
)
(outcome: simplified)
)
(considering: /* shape: Pack{} */ repeat Pack{} arg conv $T8 @ locator@0x147023478 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0]
(simplification result:
(added constraint: Pack{} same-shape $T0 @ locator@0x147023738 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0 → pack shape])
(removed constraint: /* shape: Pack{} */ repeat Pack{} arg conv $T8 @ locator@0x147023478 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0])
)
(outcome: simplified)
)
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701b638 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to Serializable @ locator@0x14701b6d8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701c2b0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to Serializable @ locator@0x14701c370 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T0 conforms to IndexKeyComparable @ locator@0x14701b4f8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #0 (conformance)]
(simplification result:
(removed constraint: $T0 conforms to IndexKeyComparable @ locator@0x14701b4f8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #0 (conformance)])
)
(outcome: simplified)
)
(considering: $T0 conforms to Serializable @ locator@0x14701b598 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
(removed constraint: $T0 conforms to Serializable @ locator@0x14701b598 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #1 (conformance)])
)
(outcome: simplified)
)
(considering: $T6 conforms to IndexKeyComparable @ locator@0x14701c130 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #0 (conformance)]
(simplification result:
(removed constraint: $T6 conforms to IndexKeyComparable @ locator@0x14701c130 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #0 (conformance)])
)
(outcome: simplified)
)
(considering: $T6 conforms to Serializable @ locator@0x14701c1f0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
(removed constraint: $T6 conforms to Serializable @ locator@0x14701c1f0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #1 (conformance)])
)
(outcome: simplified)
)
(considering: $T0 same-shape $T6 @ locator@0x147023620 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0 → pack shape]
(simplification result:
(removed constraint: $T0 same-shape $T6 @ locator@0x147023620 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0 → pack shape])
)
(outcome: simplified)
)
(considering: Pack{} same-shape $T0 @ locator@0x147023738 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0 → pack shape]
(simplification result:
(removed constraint: Pack{} same-shape $T0 @ locator@0x147023738 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0 → pack shape])
)
(outcome: simplified)
)
(Changes:
(Newly Bound:
> $T0 := Pack{}
> $T8 := /* shape: $T6 */ repeat $T6
)
(New Equivalence:
> $T0
)
(Removed Constraints:
> $T0 conforms to IndexKeyComparable @ locator@0x14701b4f8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #0 (conformance)]
> $T0 conforms to Serializable @ locator@0x14701b598 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #1 (conformance)]
> $T8 can fallback to /* shape: $T6 */ repeat $T6 @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)]
> /* shape: $T0 */ repeat $T0 bind $T8 @ locator@0x14701c028 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0]
> $T6 conforms to IndexKeyComparable @ locator@0x14701c130 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #0 (conformance)]
> $T6 conforms to Serializable @ locator@0x14701c1f0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #1 (conformance)]
> /* shape: Pack{} */ repeat Pack{} arg conv $T8 @ locator@0x147023478 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0]
)
)
)
---Solver statistics---
Total number of scopes explored: 2
Maximum depth reached while exploring solutions: 2
Time: 1.898000e+00ms
---Attempting to salvage and emit diagnostics---
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701b638 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to Serializable @ locator@0x14701b6d8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T8 can fallback to /* shape: $T6 */ repeat $T6 @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)]
(simplification result:
)
(outcome: unsolved)
)
(considering: /* shape: $T0 */ repeat $T0 bind $T8 @ locator@0x14701c028 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701c2b0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to Serializable @ locator@0x14701c370 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T0 conforms to IndexKeyComparable @ locator@0x14701b4f8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #0 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T0 conforms to Serializable @ locator@0x14701b598 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: /* shape: Pack{} */ repeat Pack{} arg conv $T8 @ locator@0x147023478 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0]
(simplification result:
)
(outcome: unsolved)
)
(Potential Binding(s):
($T8 [allows bindings to: pack expansion] [involves_type_vars: $T0] [with possible bindings: (supertypes of) /* shape: $T0 */ repeat $T0, (supertypes of) /* shape: Pack{} */ repeat Pack{}] [defaults: /* shape: $T6 */ repeat $T6])
)
(attempting type variable binding $T8 := /* shape: $T6 */ repeat $T6
(considering: /* shape: Pack{} */ repeat Pack{} arg conv $T8 @ locator@0x147023478 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0]
(simplification result:
(added constraint: Pack{} same-shape $T6 @ locator@0x147023738 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0 → pack shape])
(removed constraint: /* shape: Pack{} */ repeat Pack{} arg conv $T8 @ locator@0x147023478 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0])
)
(outcome: simplified)
)
(considering: /* shape: $T0 */ repeat $T0 bind $T8 @ locator@0x14701c028 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0]
(simplification result:
(added constraint: $T0 same-shape Pack{} @ locator@0x147023620 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0 → pack shape])
(removed constraint: /* shape: $T0 */ repeat $T0 bind $T8 @ locator@0x14701c028 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0])
)
(outcome: simplified)
)
(considering: $T8 can fallback to /* shape: $T6 */ repeat $T6 @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)]
(simplification result:
(removed constraint: $T8 can fallback to /* shape: $T6 */ repeat $T6 @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)])
)
(outcome: simplified)
)
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701b638 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to Serializable @ locator@0x14701b6d8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701c2b0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T1 conforms to Serializable @ locator@0x14701c370 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
)
(outcome: unsolved)
)
(considering: $T0 conforms to IndexKeyComparable @ locator@0x14701b4f8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #0 (conformance)]
(simplification result:
(removed constraint: $T0 conforms to IndexKeyComparable @ locator@0x14701b4f8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #0 (conformance)])
)
(outcome: simplified)
)
(considering: $T0 conforms to Serializable @ locator@0x14701b598 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
(removed constraint: $T0 conforms to Serializable @ locator@0x14701b598 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #1 (conformance)])
)
(outcome: simplified)
)
(considering: $T6 conforms to IndexKeyComparable @ locator@0x14701c130 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #0 (conformance)]
(simplification result:
(removed constraint: $T6 conforms to IndexKeyComparable @ locator@0x14701c130 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #0 (conformance)])
)
(outcome: simplified)
)
(considering: $T6 conforms to Serializable @ locator@0x14701c1f0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #1 (conformance)]
(simplification result:
(removed constraint: $T6 conforms to Serializable @ locator@0x14701c1f0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #1 (conformance)])
)
(outcome: simplified)
)
(considering: Pack{} same-shape $T6 @ locator@0x147023738 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0 → pack shape]
(simplification result:
(removed constraint: Pack{} same-shape $T6 @ locator@0x147023738 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0 → pack shape])
)
(outcome: simplified)
)
(considering: $T0 same-shape Pack{} @ locator@0x147023620 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0 → pack shape]
(simplification result:
(removed constraint: $T0 same-shape Pack{} @ locator@0x147023620 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0 → pack shape])
)
(outcome: simplified)
)
(Changes:
(Newly Bound:
> $T0 := Pack{}
> $T6 := Pack{}
> $T8 := /* shape: $T6 */ repeat $T6
)
(Removed Constraints:
> $T0 conforms to IndexKeyComparable @ locator@0x14701b4f8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #0 (conformance)]
> $T0 conforms to Serializable @ locator@0x14701b598 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #1 (conformance)]
> $T8 can fallback to /* shape: $T6 */ repeat $T6 @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)]
> /* shape: $T0 */ repeat $T0 bind $T8 @ locator@0x14701c028 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic type 'Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>' → generic type 'Query<Pack{$T8}, $T7>' → generic argument #0 → pack type 'Pack{/* shape: $T0 */ repeat $T0}' → pack type 'Pack{$T8}' → pack element #0]
> $T6 conforms to IndexKeyComparable @ locator@0x14701c130 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #0 (conformance)]
> $T6 conforms to Serializable @ locator@0x14701c1f0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #1 (conformance)]
> /* shape: Pack{} */ repeat Pack{} arg conv $T8 @ locator@0x147023478 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #0]
)
)
(attempting type variable binding $T1 := <<placeholder for $T1>>
(increasing 'hole' score by 1 @ locator@0x14701b470 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → generic parameter 'Last'])
(attempting fix [fix: default generic argument 'Last' to 'Any'] @ locator@0x14701b400 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6])
(increasing 'applied fix' score by 1 @ locator@0x14701b400 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6])
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701b638 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
(removed constraint: $T1 conforms to IndexKeyComparable @ locator@0x14701b638 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #2 (conformance)])
)
(outcome: simplified)
)
(considering: $T1 conforms to Serializable @ locator@0x14701b6d8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
(removed constraint: $T1 conforms to Serializable @ locator@0x14701b6d8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #3 (conformance)])
)
(outcome: simplified)
)
(considering: $T1 conforms to IndexKeyComparable @ locator@0x14701c2b0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #2 (conformance)]
(simplification result:
(removed constraint: $T1 conforms to IndexKeyComparable @ locator@0x14701c2b0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #2 (conformance)])
)
(outcome: simplified)
)
(considering: $T1 conforms to Serializable @ locator@0x14701c370 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #3 (conformance)]
(simplification result:
(removed constraint: $T1 conforms to Serializable @ locator@0x14701c370 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #3 (conformance)])
)
(outcome: simplified)
)
(Changes:
(Newly Bound:
> $T1 := <<placeholder for $T1>>
)
(Removed Constraints:
> $T1 conforms to IndexKeyComparable @ locator@0x14701b638 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #2 (conformance)]
> $T1 conforms to Serializable @ locator@0x14701b6d8 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → opened generic → type parameter requirement #3 (conformance)]
> $T1 conforms to IndexKeyComparable @ locator@0x14701c2b0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #2 (conformance)]
> $T1 conforms to Serializable @ locator@0x14701c370 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → opened generic → type parameter requirement #3 (conformance)]
)
)
(found solution: [component: applied fix(s), value: 4] [component: hole(s), value: 1])
)
)
---Solution---
Fixed score: [component: applied fix(s), value: 4] [component: hole(s), value: 1]
Type variables:
$T0 as Pack{} @ locator@0x14701b418 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → generic parameter 'each Component']
$T1 as <<placeholder for $T1>> @ locator@0x14701b470 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → generic parameter 'Last']
$T2 as TestRecord.Type @ locator@0x14701b830 [DeclRef@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18]
$T3 as String @ locator@0x14701b8a8 [UnresolvedDot@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 → member]
$T4 as Query<Pack{}, <<placeholder for $T1>>> @ locator@0x14701b9c0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → function result]
$T5 as (ComparisonOperator<<<placeholder for $T1>>>) -> Query<Pack{}, <<placeholder for $T1>>> @ locator@0x14701bab0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member type (for short-form or self.init call)]
$T6 as Pack{} @ locator@0x14701bbd0 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic parameter 'each Component']
$T7 as <<placeholder for $T1>> @ locator@0x14701bc50 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → generic parameter 'Last']
$T8 as Pack{} @ locator@0x14701bd40 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member → pack expansion type (/* shape: $T6 */ repeat $T6)]
Overload choices:
locator@0x14701b8a8 [UnresolvedDot@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 → member] with EmpireTests.(file).TestRecord.a@/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift:8:6 as TestRecord.a: String
locator@0x14701b830 [DeclRef@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18] with EmpireTests.(file).TestRecord extension.select().self@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:2:24 as self: TestRecord.Type
locator@0x14701bb20 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member] with Empire.(file).Query.init(_:last:)@/Users/matt/Developer/Empire/Sources/Empire/Query.swift:42:9 as Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>.Type.init: ($T8, ComparisonOperator<$T7>) -> Query<Pack{/* shape: $T0 */ repeat $T0}, $T1>
Constraint restrictions:
Query<<<hole>>> to Query<<<hole>>> is [deep equality]
Trailing closure matching:
locator@0x14701b880 [UnresolvedDot@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 → apply argument]: forward
locator@0x14701ba88 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument]: forward
Opened types:
locator@0x14701b400 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6] opens 'Last' (τ_0_1) -> <<hole>> [from $T1], 'each Component' (each τ_0_0) -> Pack{} [from $T0]
locator@0x14701bb20 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply function → constructor member] opens 'Last' (τ_0_1) -> <<hole>> [from $T7], 'each Component' (each τ_0_0) -> Pack{} [from $T6]
Defaulted constraints: locator@0x14701b470 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → generic parameter 'Last']
Fixes:
[fix: allow access to instance member on type or a type member on instance] @ locator@0x14701b8a8 [UnresolvedDot@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:18 → member]
[fix: allow argument to parameter type conversion mismatch] @ locator@0x147023518 [Call@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 → apply argument → comparing call argument #0 to parameter #1]
[fix: default generic argument 'Last' to 'Any'] @ locator@0x14701b400 [Type@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6]
Assertion failed: (!HasOriginalArgs && "Query original args instead"), function isTrailingClosureIndex, file ArgumentList.h, line 434.
Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the crash backtrace.
Stack dump:
0. Program arguments: /Library/Developer/Toolchains/swift-6.0-DEVELOPMENT-SNAPSHOT-2024-07-21-a.xctoolchain/usr/bin/swift-frontend -frontend -c /Users/matt/Developer/Empire/Tests/EmpireTests/CloudKitRecordTests.swift -primary-file /Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift /Users/matt/Developer/Empire/Tests/EmpireTests/LabelledTupleTests.swift -emit-dependencies-path /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/Empire.build/Debug/EmpireTests.build/Objects-normal/arm64/IndexKeyRecordTests.d -emit-const-values-path /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/Empire.build/Debug/EmpireTests.build/Objects-normal/arm64/IndexKeyRecordTests.swiftconstvalues -emit-reference-dependencies-path /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/Empire.build/Debug/EmpireTests.build/Objects-normal/arm64/IndexKeyRecordTests.swiftdeps -serialize-diagnostics-path /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/Empire.build/Debug/EmpireTests.build/Objects-normal/arm64/IndexKeyRecordTests.dia -target arm64-apple-macos14.0 -Xllvm -aarch64-use-tbi -enable-objc-interop -sdk /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.0.sdk -I /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug -I /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/PackageFrameworks -F /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug -F /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/Library/Frameworks -no-color-diagnostics -enable-testing -g -debug-info-format=dwarf -dwarf-version=4 -module-cache-path /Users/matt/Library/Developer/Xcode/DerivedData/ModuleCache.noindex -profile-generate -profile-coverage-mapping -swift-version 6 -enforce-exclusivity=checked -Onone -D SWIFT_PACKAGE -D DEBUG -D SWIFT_PM_SUPPORTS_SWIFT_TESTING -D Xcode -debug-constraints -serialize-debugging-options -load-plugin-executable /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/EmpireMacros#EmpireMacros -const-gather-protocols-file /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/Empire.build/Debug/EmpireTests.build/Objects-normal/arm64/EmpireTests_const_extract_protocols.json -enable-experimental-feature DebugDescriptionMacro -enable-experimental-feature OpaqueTypeErasure -empty-abi-descriptor -plugin-path /Library/Developer/Toolchains/swift-6.0-DEVELOPMENT-SNAPSHOT-2024-07-21-a.xctoolchain/usr/lib/swift/host/plugins -external-plugin-path /Applications/Xcode-beta.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins/testing#/Applications/Xcode-beta.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swift-plugin-server -validate-clang-modules-once -clang-build-session-file /Users/matt/Library/Developer/Xcode/DerivedData/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc /Users/matt/Developer/Empire/.swiftpm/xcode -resource-dir /Library/Developer/Toolchains/swift-6.0-DEVELOPMENT-SNAPSHOT-2024-07-21-a.xctoolchain/usr/lib/swift -enable-anonymous-context-mangled-names -file-compilation-dir /Users/matt/Developer/Empire/.swiftpm/xcode -Xcc -fmodule-map-file=/Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/GeneratedModuleMaps/CLMDB.modulemap -Xcc -I/Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/SourcePackages/checkouts/swift-syntax/Sources/_SwiftSyntaxCShims/include -Xcc -I/Users/matt/Developer/Empire/lmdb/libraries/liblmdb -Xcc -I/Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Products/Debug/include -Xcc -I/Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/Empire.build/Debug/EmpireTests.build/DerivedSources-normal/arm64 -Xcc -I/Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/Empire.build/Debug/EmpireTests.build/DerivedSources/arm64 -Xcc -I/Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/Empire.build/Debug/EmpireTests.build/DerivedSources -Xcc -DSWIFT_PACKAGE -Xcc -DDEBUG=1 -module-name EmpireTests -package-name empire -frontend-parseable-output -disable-clang-spi -plugin-path /Library/Developer/Toolchains/swift-6.0-DEVELOPMENT-SNAPSHOT-2024-07-21-a.xctoolchain/usr/lib/swift/host/plugins -plugin-path /Library/Developer/Toolchains/swift-6.0-DEVELOPMENT-SNAPSHOT-2024-07-21-a.xctoolchain/usr/local/lib/swift/host/plugins -target-sdk-version 15.0 -target-sdk-name macosx15.0 -external-plugin-path /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib/swift/host/plugins#/Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/local/lib/swift/host/plugins#/Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/bin/swift-plugin-server -o /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Build/Intermediates.noindex/Empire.build/Debug/EmpireTests.build/Objects-normal/arm64/IndexKeyRecordTests.o -index-unit-output-path /Empire.build/Debug/EmpireTests.build/Objects-normal/arm64/IndexKeyRecordTests.o -index-store-path /Users/matt/Library/Developer/Xcode/DerivedData/Empire-bnncggktbvvwuhdvcjwchzajhger/Index.noindex/DataStore -index-system-modules
1. Apple Swift version 6.0-dev (LLVM ec7116ccf9bd8a8, Swift e6aae024fab0927)
2. Compiling with the current language version
3. While evaluating request TypeCheckSourceFileRequest(source_file "/Users/matt/Developer/Empire/Tests/EmpireTests/IndexKeyRecordTests.swift")
4. While evaluating request TypeCheckFunctionBodyRequest(EmpireTests.(file).TestRecord extension.select()@@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:2:24)
5. While type-checking statement at [@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:2:33 - line:4:5] RangeText="{
Query(last: a)
"
6. While type-checking expression at [@__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6 - line:3:19] RangeText="Query(last: a"
7. While type-checking-target starting at @__swiftmacro_11EmpireTests10TestRecord08IndexKeyD0fMe_.swift:3:6
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0 swift-frontend 0x000000010858b710 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1 swift-frontend 0x0000000108589edc llvm::sys::RunSignalHandlers() + 112
2 swift-frontend 0x000000010858bd58 SignalHandler(int) + 304
3 libsystem_platform.dylib 0x00000001965eb584 _sigtramp + 56
4 libsystem_pthread.dylib 0x00000001965bac20 pthread_kill + 288
5 libsystem_c.dylib 0x00000001964c7a30 abort + 180
6 libsystem_c.dylib 0x00000001964c6d20 err + 0
7 swift-frontend 0x000000010898471c swift::constraints::ArgumentMismatchFailure::diagnoseClosureMismatch() const (.cold.1) + 0
8 swift-frontend 0x00000001041f7bdc swift::constraints::ArgumentMismatchFailure::diagnoseAttemptedRegexBuilder() const + 716
9 swift-frontend 0x00000001041e27d8 swift::constraints::ArgumentMismatchFailure::diagnoseAsError() + 148
10 swift-frontend 0x00000001041c9ea8 swift::constraints::AllowArgumentMismatch::diagnose(swift::constraints::Solution const&, bool) const + 112
11 swift-frontend 0x00000001040f7254 swift::constraints::ConstraintSystem::applySolutionFixes(swift::constraints::Solution const&) + 1284
12 swift-frontend 0x00000001040f78e4 swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::constraints::SyntacticElementTarget) + 96
13 swift-frontend 0x0000000104341320 swift::TypeChecker::typeCheckTarget(swift::constraints::SyntacticElementTarget&, swift::optionset::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 396
14 swift-frontend 0x000000010434113c swift::TypeChecker::typeCheckExpression(swift::constraints::SyntacticElementTarget&, swift::optionset::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 184
15 swift-frontend 0x0000000104341010 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::constraints::ContextualTypeInfo, swift::optionset::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 92
16 swift-frontend 0x0000000104413dac (anonymous namespace)::StmtChecker::typeCheckASTNode(swift::ASTNode&) + 264
17 swift-frontend 0x00000001044175f0 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) + 160
18 swift-frontend 0x0000000104415c04 bool (anonymous namespace)::StmtChecker::typeCheckStmt<swift::BraceStmt>(swift::BraceStmt*&) + 136
19 swift-frontend 0x0000000104415358 (anonymous namespace)::StmtChecker::typeCheckBody(swift::BraceStmt*&) + 32
20 swift-frontend 0x00000001044150c0 swift::TypeCheckFunctionBodyRequest::evaluate(swift::Evaluator&, swift::AbstractFunctionDecl*) const + 1356
21 swift-frontend 0x000000010485ce90 swift::TypeCheckFunctionBodyRequest::OutputType swift::Evaluator::getResultUncached<swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckFunctionBodyRequest>(swift::Evaluator&, swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType)::'lambda'()>(swift::TypeCheckFunctionBodyRequest const&, swift::TypeCheckFunctionBodyRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckFunctionBodyRequest>(swift::Evaluator&, swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType)::'lambda'()) + 240
22 swift-frontend 0x00000001047ca470 swift::AbstractFunctionDecl::getTypecheckedBody() const + 120
23 swift-frontend 0x0000000104904150 swift::SourceFile::typeCheckDelayedFunctions() + 104
24 swift-frontend 0x0000000104455ac4 swift::TypeCheckSourceFileRequest::evaluate(swift::Evaluator&, swift::SourceFile*) const + 256
25 swift-frontend 0x000000010445761c swift::TypeCheckSourceFileRequest::OutputType swift::Evaluator::getResultUncached<swift::TypeCheckSourceFileRequest, swift::TypeCheckSourceFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckSourceFileRequest>(swift::Evaluator&, swift::TypeCheckSourceFileRequest, swift::TypeCheckSourceFileRequest::OutputType)::'lambda'()>(swift::TypeCheckSourceFileRequest const&, swift::TypeCheckSourceFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckSourceFileRequest>(swift::Evaluator&, swift::TypeCheckSourceFileRequest, swift::TypeCheckSourceFileRequest::OutputType)::'lambda'()) + 232
26 swift-frontend 0x000000010445599c swift::performTypeChecking(swift::SourceFile&) + 84
27 swift-frontend 0x0000000103326e70 bool llvm::function_ref<bool (swift::SourceFile&)>::callback_fn<swift::CompilerInstance::performSema()::$_7>(long, swift::SourceFile&) + 16
28 swift-frontend 0x00000001033208b0 swift::CompilerInstance::forEachFileToTypeCheck(llvm::function_ref<bool (swift::SourceFile&)>) + 76
29 swift-frontend 0x0000000103320844 swift::CompilerInstance::performSema() + 76
30 swift-frontend 0x00000001030eb244 withSemanticAnalysis(swift::CompilerInstance&, swift::FrontendObserver*, llvm::function_ref<bool (swift::CompilerInstance&)>, bool) + 60
31 swift-frontend 0x00000001030e1484 performCompile(swift::CompilerInstance&, int&, swift::FrontendObserver*) + 708
32 swift-frontend 0x00000001030e0b58 swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 2344
33 swift-frontend 0x0000000102efa38c swift::mainEntry(int, char const**) + 3096
34 dyld 0x00000001962320e0 start + 2360
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment