transformer: fix more failing tests with -new-transformer (#26086)

Author: Eliyaan

vlib/v/checker/checker.v

@@ -180,6 +180,7 @@ pub fn new_checker(table &ast.Table, pref_ &pref.Preferences) &Checker {
 		v_current_commit_hash:         v_current_commit_hash
 		checker_transformer:           transformer.new_transformer_with_table(table, pref_)
 	}
+	checker.checker_transformer.skip_array_transform = true
 	checker.type_resolver = type_resolver.TypeResolver.new(table, checker)
 	checker.comptime = &checker.type_resolver.info
 	return checker

vlib/v/gen/c/array.v

@@ -170,7 +170,7 @@ fn (mut g Gen) fixed_array_init(node ast.ArrayInit, array_type Type, var_name st
 				tmp_var := g.expr_with_var(expr, node.expr_types[i], false)
 				g.fixed_array_var_init(tmp_var, false, elem_info.elem_type, elem_info.size)
 			} else {
-				expr_type := if node.expr_types.len > i {
+				expr_type := if node.expr_types.len > i && node.expr_types[i] != 0 {
 					node.expr_types[i]
 				} else {
 					node.elem_type

vlib/v/gen/c/cgen.v

@@ -1779,10 +1779,14 @@ pub fn (mut g Gen) write_typedef_types() {
 						} else if !info.is_fn_ret {
 							base := g.styp(info.elem_type.clear_option_and_result())
 							if info.elem_type.has_flag(.option) && base !in g.options_forward {
+								styp_elem, elem_base := g.option_type_name(info.elem_type)
 								lock g.done_options {
 									if base !in g.done_options {
+										g.done_options << elem_base
+										g.typedefs.writeln('typedef struct ${styp_elem} ${styp_elem};')
+										g.type_definitions.writeln('${g.option_type_text(styp_elem,
+											elem_base)};')
 										g.type_definitions.writeln('typedef ${fixed} ${styp} [${len}];')
-										g.options_forward << base
 										g.done_options << styp
 									}
 								}

vlib/v/transformer/array.v

@@ -20,8 +20,8 @@ pub fn (mut t Transformer) array_init(mut node ast.ArrayInit) ast.Expr {
 	if node.has_init {
 		node.init_expr = t.expr(mut node.init_expr)
 	}
-	if !t.pref.new_transform || node.is_fixed || t.inside_in || node.has_len || node.has_cap
-		|| node.exprs.len == 0 {
+	if !t.pref.new_transform || t.skip_array_transform || node.is_fixed || t.inside_in
+		|| node.has_len || node.has_cap || node.exprs.len == 0 {
 		return node
 	}
 	// For C and native transform into a function call `builtin__new_array_from_c_array_noscan(...)` etc

vlib/v/transformer/transformer.v

@@ -10,9 +10,10 @@ import v.util
 pub struct Transformer {
 	pref &pref.Preferences
 pub mut:
-	index &IndexState
-	table &ast.Table = unsafe { nil }
-	file  &ast.File  = unsafe { nil }
+	index                &IndexState
+	table                &ast.Table = unsafe { nil }
+	file                 &ast.File  = unsafe { nil }
+	skip_array_transform bool // is the checker transformer, set by the checker
 mut:
 	is_assert   bool
 	inside_dump bool