v: support interface field compile time reflection (#17503)

vlib/v/checker/comptime.v

@@ -180,10 +180,23 @@ fn (mut c Checker) comptime_for(node ast.ComptimeFor) {
 		c.error('unknown type `${sym.name}`', node.typ_pos)
 	}
 	if node.kind == .fields {
-		if sym.kind == .struct_ {
+		if sym.kind in [.struct_, .interface_] {
-			sym_info := sym.info as ast.Struct
+			mut fields := []ast.StructField{}
+			match sym.info {
+				ast.Struct {
+					fields = sym.info.fields.clone()
+				}
+				ast.Interface {
+					fields = sym.info.fields.clone()
+				}
+				else {
+					c.error('comptime field lookup supports only structs and interfaces currently, and ${sym.name} is neither',
+						node.typ_pos)
+					return
+				}
+			}
 			c.inside_comptime_for_field = true
-			for field in sym_info.fields {
+			for field in fields {
 				c.comptime_for_field_value = field
 				c.comptime_for_field_var = node.val_var
 				c.comptime_fields_type[node.val_var] = node.typ

vlib/v/gen/c/comptime.v

@@ -763,12 +763,24 @@ fn (mut g Gen) comptime_for(node ast.ComptimeFor) {
 		}
 	} else if node.kind == .fields {
 		// TODO add fields
-		if sym.kind == .struct_ {
+		if sym.kind in [.struct_, .interface_] {
-			sym_info := sym.info as ast.Struct
+			fields := match sym.info {
-			if sym_info.fields.len > 0 {
+				ast.Struct {
+					sym.info.fields
+				}
+				ast.Interface {
+					sym.info.fields
+				}
+				else {
+					g.error('comptime field lookup is supported only for structs and interfaces, and ${sym.name} is neither',
+						node.pos)
+					[]ast.StructField{len: 0}
+				}
+			}
+			if fields.len > 0 {
 				g.writeln('\tFieldData ${node.val_var} = {0};')
 			}
-			for field in sym_info.fields {
+			for field in fields {
 				g.push_existing_comptime_values()
 				g.inside_comptime_for_field = true
 				g.comptime_for_field_var = node.val_var

vlib/v/gen/c/testdata/comptime_interface_field.out

@@ -0,0 +1,2 @@
+name
+age

vlib/v/gen/c/testdata/comptime_interface_field.vv

@@ -0,0 +1,10 @@
+interface User {
+	name string
+	age int
+}
+
+fn main() {
+	$for field in User.fields {
+		println(field.name)
+	}
+}