Make the code action "Insert type annotation" become "Insert or update type annotation"

[carlosedp]

Is your feature request related to a problem? Please describe.

Currently Metals can add the type annotation to methods, variables, etc but in case you need to change the return type (Eg. in a refactor), you need to delete manually the type and ask Metals to re-add the new one.

Describe the solution you'd like

It would be nice if the Quick Action (code action) could be "Insert or update type annotation" that would replace the current annotation with the new one inferred by the compiler.

Describe alternatives you've considered

Manually removing the existing annotation and re-adding via existing action.

Additional context

No response

Search terms

type annotation