exit status: 1 with stderr:
---Constraint solving for the expression at [<stdin>:4:1 - line:4:25]--- (disabled disjunction term $T0 bound to decl main.(file).f(a:b:c:d:)@<stdin>:2:6 : (Int, Int, Int, Int) -> () at <stdin>:2:6 [[locator@0x9279ea0 [OverloadedDeclRef@<stdin>:4:1]]];) (introducing single enabled disjunction term $T0 bound to decl main.(file).f(a:b:x:y:)@<stdin>:1:6 : (Int, String, String, String) -> () at <stdin>:1:6 [[locator@0x9279ea0 [OverloadedDeclRef@<stdin>:4:1]]];) (overload set choice binding $T0 := (Int, String, String, String) -> ()) (common result type for $T0 is ()) ---Initial constraints for the given expression--- (call_expr type='()' location=<stdin>:4:1 range=[<stdin>:4:1 - line:4:25] arg_labels=a:b:x:y: (overloaded_decl_ref_expr type='$T0' location=<stdin>:4:1 range=[<stdin>:4:1 - line:4:1] name=f number_of_decls=2 function_ref=single decls=[ main.(file).f(a:b:x:y:)@<stdin>:1:6, main.(file).f(a:b:c:d:)@<stdin>:2:6]) (tuple_expr type='(a: $T1, b: $T2, x: $T3, y: $T4)' location=<stdin>:4:2 range=[<stdin>:4:2 - line:4:25] names=a,b,x,y (integer_literal_expr type='$T1' location=<stdin>:4:6 range=[<stdin>:4:6 - line:4:6] value=0 builtin_initializer=**NULL** initializer=**NULL**) (integer_literal_expr type='$T2' location=<stdin>:4:12 range=[<stdin>:4:12 - line:4:12] value=0 builtin_initializer=**NULL** initializer=**NULL**) (integer_literal_expr type='$T3' location=<stdin>:4:18 range=[<stdin>:4:18 - line:4:18] value=0 builtin_initializer=**NULL** initializer=**NULL**) (integer_literal_expr type='$T4' location=<stdin>:4:24 range=[<stdin>:4:24 - line:4:24] value=0 builtin_initializer=**NULL** initializer=**NULL**))) Score: 0 0 0 0 0 0 0 0 0 0 0 0 Type Variables: $T0 [lvalue allowed] [noescape allowed] as (Int, String, String, String) -> () @ locator@0x9279ea0 [OverloadedDeclRef@<stdin>:4:1] $T1 [noescape allowed] literal=3 bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int} @ locator@0
stderr.txt
https://file.io/7yhf0hrK