Declare dataclasses.field as a field specifier for @control and @value

CHANGELOG.md

@@ -3,6 +3,7 @@
 ### Bug fixes
 
 * Fix mypy inferring `type[Never]` for classes decorated with `@control("Name")`: the overload that takes arguments now accepts only a string `dart_widget_name` ([#7085](https://github.com/flet-dev/flet/issues/7085), [#7087](https://github.com/flet-dev/flet/pull/7087)) by @joaoaracheski.
+* Fix type checkers ignoring `dataclasses.field()` arguments such as `init=False` on `@control` and `@value` classes, by declaring `dataclasses.field` as a field specifier ([#6377](https://github.com/flet-dev/flet/issues/6377), [#7084](https://github.com/flet-dev/flet/pull/7084)) by @joaoaracheski.
 
 ## 1.1.2
 

sdk/python/packages/flet/src/flet/controls/base_control.py

@@ -88,7 +88,7 @@ def control(
     ...
 
 
-@dataclass_transform()
+@dataclass_transform(field_specifiers=(field,))
 def control(
     dart_widget_name: Optional[Union[type[T], str]] = None,
     *,

sdk/python/packages/flet/src/flet/controls/value_types.py

@@ -156,7 +156,7 @@ class explicitly.  It is exposed so that `isinstance(obj, Value)`
     """
 
 
-@dataclass_transform()
+@dataclass_transform(field_specifiers=(dataclasses.field,))
 def value(
     cls: Optional[type] = None,
     **dataclass_kwargs: Any,

sdk/python/packages/flet/tests/test_base_control.py

@@ -1,10 +1,12 @@
+import dataclasses
 import sys
 import typing
 
 import pytest
 
 import flet as ft
 from flet.controls.base_control import control
+from flet.controls.value_types import value
 
 
 def test_controls_equality():
@@ -47,3 +49,13 @@ def test_control_args_overload_accepts_only_str_name():
     _, with_args = typing.get_overloads(control)
     hints = typing.get_type_hints(with_args)
     assert hints["dart_widget_name"] == typing.Optional[str]
+
+
+def test_dataclass_transforms_declare_field_specifiers():
+    """
+    Type checkers only honor `dataclasses.field()` arguments (e.g. `init=False`)
+    on `@control` and `@value` classes when `field` is a declared field specifier.
+    """
+    for decorator in (control, value):
+        transform = decorator.__dataclass_transform__
+        assert dataclasses.field in transform["field_specifiers"]