Created
July 24, 2024 19:50
-
-
Save mattmassicotte/24cc3e7def3167753a92167a39b1e159 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ---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