Fix missing argument IL value

Directory.Build.props

@@ -1,6 +1,6 @@
 <Project>
   <PropertyGroup>
-    <Version>0.8.42-alpha.124</Version>
+    <Version>0.8.42-alpha.125</Version>
     <NoWarn>$(NoWarn);NU1507</NoWarn>
   </PropertyGroup>
   <ItemGroup>

integration-tests/execution/expression-if-constructor-argument-1/.vscode/tasks.json

@@ -0,0 +1,23 @@
+{
+    "version": "2.0.0",
+    "tasks": [
+        {
+            "label": "Run test",
+            "command": "dotnet ghul-test \"${workspaceFolder}\"",
+            "type": "shell",
+            "group": {
+                "kind": "test",
+                "isDefault": true
+            }
+        },
+        {
+            "label": "Capture test expectation",
+            "command": "../../../tasks/capture.sh \"${workspaceFolder}\"",
+            "type": "shell",
+            "group": {
+                "kind": "build",
+                "isDefault": true
+            }
+        }
+    ]
+}

integration-tests/execution/expression-if-constructor-argument-1/ghul.json

@@ -0,0 +1,3 @@
+{
+    "compiler": "dotnet ../../../publish/ghul.dll"
+}

integration-tests/execution/expression-if-constructor-argument-1/ghulflags

@@ -0,0 +1 @@
+--dotnet

integration-tests/execution/expression-if-constructor-argument-1/run.expected

@@ -0,0 +1 @@
+construct THING(123,'hello',False)

integration-tests/execution/expression-if-constructor-argument-1/test.ghul

@@ -0,0 +1,18 @@
+use IO.Std.write_line;
+
+class Main is
+    entry() static is
+        let t1 = 
+            THING(
+                if true then 123 else 456 fi,
+                if false then "goodbye" else "hello" fi,
+                if true then false else true fi
+            );
+    si
+si
+
+class THING is
+    init(a: int, b: string, c: bool) is
+        write_line("construct THING({a},'{b}',{c})");
+    si
+si

src/syntax/process/compile_expressions.ghul

@@ -765,8 +765,6 @@ namespace Syntax.Process is
                         if implied_argument_type? /\ !implied_argument_type.is_type_variable then
                             argument_types.add(implied_argument_type);
 
-                            a.try_set_constraint(implied_argument_type, "{{0}} is not compatible with {{1}}");
-
                             symbol.set_type(implied_argument_type);
                         else
                             _logger.error(a.location, "cannot infer type here");
@@ -1353,6 +1351,8 @@ namespace Syntax.Process is
                         // ensure any error messages are committed
                         a.walk(self);
                     fi
+
+                    arguments[index] = a.value;
                 od
 
                 overload_result = _overload_resolver.resolve(location, function_group, argument_types, false, true, true);
@@ -2649,6 +2649,8 @@ namespace Syntax.Process is
                                 // ensure any error messages are committed
                                 a.walk(self);
                             fi
+
+                            arguments[index] = a.value;
                         od
 
                         overload_result = _overload_resolver.resolve(call.arguments.location, function_group, argument_types, false, want_instance, false);