[jny0444]

A quick fix now inserts the type an inlay hint is already showing.

Fixes #4231

An unannotated declaration, as in yyy = grow(1) or def grow(x: int):, shows : int or -> int as an inlay hint, but writing that hint down meant typing it by hand. Code actions on the declaration now offer Insert inferred type …, applying the hint's annotation and any imports it needs. The action follows the variable-type and return-type inlay settings and skips argument-name hints. In a notebook, the edit lands in the cell that triggered it.

• I am a human, and I fully understand the code I am submitting.

Test plan

• cargo test -p pyrefly --lib insert_inferred_type
• Covered variables, returns, class attributes, imports, CRLF, disabled inlay hints, a multi-hint selection, and a notebook cell.

[github-actions]

✅ This PR meets all requirements from our pull request checklist.

Optional recommendations:

• This PR is on the larger side. If parts of it could be merged on their own, consider splitting it into separate PRs for faster review. If you've already split it as far as is practical, no action is needed.

Note: this comment updates automatically after changes to the PR. Updates may take up to half an hour.