(attempting disjunction choice $T0 bound to decl rank5.(file)
[email protected]:4:6 : ([Cat?]) -> () at rank5.swift:4:6
[[locator@0x7fed5c001c00 [
[email protected]:12:1]]];
(overload set choice binding $T0 := ([Cat?]) -> ())
(attempting disjunction choice [Cat] bind [Cat?] [deep equality]
[[locator@0x7fed5c002040 [
[email protected]:12:1 -> apply argument -> comparing call argument #0 to parameter #0]]];
)
(attempting disjunction choice [Cat] arg conv [Cat?] [array-upcast]
[[locator@0x7fed5c002040 [
[email protected]:12:1 -> apply argument -> comparing call argument #0 to parameter #0]]];
(increasing score due to collection upcast conversion)
(increasing score due to value to optional)
(found solution 0 0 0 0 0 0 0 1 1 0 0 0)
)
)
(attempting disjunction choice $T0 bound to decl rank5.(file)
[email protected]:6:6 : ([Any]) -> () at rank5.swift:6:6
[[locator@0x7fed5c001c00 [
[email protected]:12:1]]];
(overload set choice binding $T0 := ([Any]) -> ())
(attempting disjunction choice [Cat] bind [Any] [deep equality]
[[locator@0x7fed5c002040 [
[email protected]:12:1 -> apply argument -> comparing call argument #0 to parameter #0]]];
)
(attempting disjunction choice [Cat] arg conv [Any] [array-upcast]
[[locator@0x7fed5c002040 [
[email protected]:12:1 -> apply argument -> comparing call argument #0 to parameter #0]]];
(increasing score due to collection upcast conversion)
(increasing score due to empty-existential conversion)
(found solution 0 0 0 0 0 0 0 1 0 1 0 0)
)
)
(attempting disjunction choice $T0 bound to decl rank5.(file)
[email protected]:8:6 : ([Animal]) -> () at rank5.swift:8:6
[[locator@0x7fed5c001c00 [
[email protected]:12:1]]];
(overload set choice binding $T0 := ([Animal]) -> ())
(attempting disjunction choice [Cat] bind [Animal] [deep equality]
[[locator@0x7fed5c002040 [
[email protected]:12:1 -> apply argument -> comparing call argument #0 to parameter #0]]];
)
(attempting disjunction choice [Cat] arg conv [Animal] [array-upcast]
[[locator@0x7fed5c002040 [
[email protected]:12:1 -> apply argument -> comparing call argument #0 to parameter #0]]];
(increasing score due to collection upcast conversion)
(found solution 0 0 0 0 0 0 0 1 0 0 0 0)
)
)
21