all: add comptime if is shared support (fix #25600) (#25602)

Author: kbkpbot

vlib/v/ast/ast.v

@@ -163,6 +163,7 @@ pub enum ComptimeTypeKind {
 	alias
 	function
 	option
+	shared
 	string
 	pointer
 	voidptr
@@ -190,6 +191,7 @@ pub fn (cty ComptimeType) str() string {
 		.alias { '\$alias' }
 		.function { '\$function' }
 		.option { '\$option' }
+		.shared { '\$shared' }
 		.string { '\$string' }
 		.pointer { '\$pointer' }
 		.voidptr { '\$voidptr' }

vlib/v/fmt/fmt.v

@@ -770,6 +770,7 @@ pub fn (mut f Fmt) expr(node_ ast.Expr) {
 				.alias { f.write('\$alias') }
 				.function { f.write('\$function') }
 				.option { f.write('\$option') }
+				.shared { f.write('\$shared') }
 				.string { f.write('\$string') }
 				.pointer { f.write('\$pointer') }
 				.voidptr { f.write('\$voidptr') }

vlib/v/gen/golang/golang.v

@@ -676,6 +676,7 @@ pub fn (mut f Gen) expr(node_ ast.Expr) {
 				.alias { f.write('\$alias') }
 				.function { f.write('\$function') }
 				.option { f.write('\$option') }
+				.shared { f.write('\$shared') }
 				.string { f.write('\$string') }
 				.pointer { f.write('\$pointer') }
 				.voidptr { f.write('\$voidptr') }

vlib/v/parser/comptime.v

@@ -10,7 +10,8 @@ import v.token
 const supported_comptime_calls = ['html', 'tmpl', 'env', 'embed_file', 'pkgconfig', 'compile_error',
 	'compile_warn', 'd', 'res']
 const comptime_types = ['map', 'array', 'array_dynamic', 'array_fixed', 'int', 'float', 'struct',
-	'interface', 'enum', 'sumtype', 'alias', 'function', 'option', 'string', 'pointer', 'voidptr']
+	'interface', 'enum', 'sumtype', 'alias', 'function', 'option', 'shared', 'string', 'pointer',
+	'voidptr']
 
 fn (mut p Parser) parse_comptime_type() ast.ComptimeType {
 	pos := p.tok.pos()
@@ -60,6 +61,9 @@ fn (mut p Parser) parse_comptime_type() ast.ComptimeType {
 		'option' {
 			.option
 		}
+		'shared' {
+			.shared
+		}
 		'string' {
 			.string
 		}

vlib/v/parser/expr.v

@@ -117,7 +117,7 @@ fn (mut p Parser) check_expr(precedence int) !ast.Expr {
 		}
 		.dollar {
 			match p.peek_tok.kind {
-				.name, .key_struct, .key_enum, .key_interface {
+				.name, .key_struct, .key_enum, .key_interface, .key_shared {
 					if p.peek_tok.lit in comptime_types {
 						node = p.parse_comptime_type()
 					} else {

vlib/v/tests/comptime/comptime_shared_field_test.v

@@ -0,0 +1,18 @@
+struct Test {
+	a shared int
+	b shared f64
+	c shared string
+	d int
+	e f64
+	f string
+}
+
+fn test_shared_comptime() {
+	mut shares := []string{}
+	$for f in Test.fields {
+		$if f.typ is $shared {
+			shares << f.name
+		}
+	}
+	assert shares == ['a', 'b', 'c']
+}

vlib/v/type_resolver/comptime_resolver.v

@@ -294,6 +294,9 @@ pub fn (t &TypeResolver) is_comptime_type(x ast.Type, y ast.ComptimeType) bool {
 		.option {
 			return x.has_flag(.option)
 		}
+		.shared {
+			return x.has_flag(.shared_f)
+		}
 	}
 }