feat: support named arguments for builtins

src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_function_call_upper_bound_expr.snap

@@ -1,7 +1,6 @@
 ---
 source: src/codegen/tests/expression_tests.rs
 expression: result
-snapshot_kind: text
 ---
 ; ModuleID = '<internal>'
 source_filename = "<internal>"
@@ -45,6 +44,11 @@ entry:
   %1 = getelementptr inbounds [2 x i32], [2 x i32]* %dim, i32 0, i32 7
   %2 = load i32, i32* %1, align 4
   store i32 %2, i32* %foo, align 4
+  %deref1 = load %__foo_vla*, %__foo_vla** %vla, align 8
+  %dim2 = getelementptr inbounds %__foo_vla, %__foo_vla* %deref1, i32 0, i32 1
+  %3 = getelementptr inbounds [2 x i32], [2 x i32]* %dim2, i32 0, i32 7
+  %4 = load i32, i32* %3, align 4
+  store i32 %4, i32* %foo, align 4
   %foo_ret = load i32, i32* %foo, align 4
   ret i32 %foo_ret
 }

src/validation/statement.rs

@@ -1685,7 +1685,8 @@ fn validate_type_nature<T: AnnotationMap>(
         if let DataTypeInformation::Generic { generic_symbol, nature, .. } = type_hint.get_type_information()
         {
             // we might be validating an identifier of a formal parameter assignment (FOO(x := 0))
-            if let AstStatement::Identifier(_) = statement.get_stmt() {
+            // This includes both Identifier and ReferenceExpr nodes for named arguments
+            if let AstStatement::Identifier(_) | AstStatement::ReferenceExpr(_) = statement.get_stmt() {
                 return;
             }
             validator.push_diagnostic(