Carlos Thank you for reporting the issue, and thank you for your support!
You are right, although it is a very specific case; the @deprecated
tag is expected to apply to the entire function.
The source code of the CI should be altered and annotate the parameter itself only. It is recommended to use #[Deprecated]
attribute above the parameter itself (we don't support it yet, but it should be the correct approach).