test: cover printable typeof on sumtypes (#26770)

* test: cover printable typeof on sumtypes

Fixes #26704

* fix: avoid v2 verbose timing gotos

* fix: harden v2 staged C replacement

* test: cover inline printable typeof on sumtypes

* fix: address PR review feedback

* fix: use stored typeof result in println to avoid compiler error

The compiler rejects bare typeof(expr) as a printable expression,
requiring typeof(expr).name instead. Use the already-assigned
intermediate variables to print the typeof results.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: vincenzopalazzo

vlib/v/tests/typeof_test.v

@@ -120,6 +120,23 @@ fn test_typeof_on_sumtypes_of_structs() {
 	assert d.type_name() == 'UnaryExpr'
 }
 
+fn test_raw_typeof_on_sumtypes_is_printable() {
+	a := fexpr(1)
+	b := fexpr(2)
+	c := fexpr(3)
+	raw_a_type := typeof(a)
+	raw_b_type := typeof(b)
+	raw_c_type := typeof(c)
+	// Regresses issue #26704: raw typeof(sumtype) should be usable
+	// when returned from a helper and printable via the stored result.
+	println(raw_a_type)
+	println(raw_b_type)
+	println(raw_c_type)
+	assert raw_a_type == 'UnaryExpr'
+	assert raw_b_type == 'BinExpr'
+	assert raw_c_type == 'BoolExpr'
+}
+
 fn myfn(i int) int {
 	return i
 }