checker: clear all ref from autostr receiver_type (needed by #25857) (#26202)

kbkpbot · web-flow · commit ba9778510390 · 2025-12-29T19:27:51.000+02:00
diff --git a/vlib/v/ast/types.v b/vlib/v/ast/types.v
@@ -446,6 +446,12 @@ pub fn (t Type) clear_flags(flags ...TypeFlag) Type {
 	}
 }
 
+// clear_ref clear refs of type
+@[inline]
+pub fn (t Type) clear_ref() Type {
+	return t & ~0x00FF_0000
+}
+
 // clear option and result flags
 @[inline]
 pub fn (t Type) clear_option_and_result() Type {
diff --git a/vlib/v/checker/fn.v b/vlib/v/checker/fn.v
@@ -2305,7 +2305,7 @@ fn (mut c Checker) method_call(mut node ast.CallExpr, mut continue_check &bool)
 				c.error('interface `${iname}` does not have a .str() method. Use typeof() instead',
 					node.pos)
 			}
-			node.receiver_type = left_type
+			node.receiver_type = left_type.clear_ref()
 			node.return_type = ast.string_type
 			if node.args.len > 0 {
 				c.error('.str() method calls should have no arguments', node.pos)

Original file line number	Diff line number	Diff line change
`@@ -446,6 +446,12 @@ pub fn (t Type) clear_flags(flags ...TypeFlag) Type {`
`446`	`446`	`}`
`447`	`447`	`}`
`448`	`448`
	`449`	`+// clear_ref clear refs of type`
	`450`	`+@[inline]`
	`451`	`+pub fn (t Type) clear_ref() Type {`
	`452`	`+ return t & ~0x00FF_0000`
	`453`	`+}`
	`454`	`+`
`449`	`455`	`// clear option and result flags`
`450`	`456`	`@[inline]`
`451`	`457`	`pub fn (t Type) clear_option_and_result() Type {`
Original file line number	Diff line number	Diff line change
`@@ -2305,7 +2305,7 @@ fn (mut c Checker) method_call(mut node ast.CallExpr, mut continue_check &bool)`
`2305`	`2305`	c.error('interface `${iname}` does not have a .str() method. Use typeof() instead',
`2306`	`2306`	`node.pos)`
`2307`	`2307`	`}`
`2308`		`- node.receiver_type = left_type`
	`2308`	`+ node.receiver_type = left_type.clear_ref()`
`2309`	`2309`	`node.return_type = ast.string_type`
`2310`	`2310`	`if node.args.len > 0 {`
`2311`	`2311`	`c.error('.str() method calls should have no arguments', node.pos)`