Field : type-annotate `setter(T)` in `synthetic` ctor's formal parameters