Tier Two Optimizer Eliminate Function Version Guards

[saulshanabrook]

Feature or enhancement

Proposal:

Suggested by @brandtbucher at the PyCon sprints

The tier two interpreter currently adds additional function function guards when it doesn't need to. We can use the function watcher to track when the function version changes and only add the first one.

Similar to the issue for type version guards #119258 and the implemented solution #119365

Has this already been discussed elsewhere?

This is a minor feature, which does not need previous discussion elsewhere

Links to previous discussion of this feature:

No response

Linked PRs

• gh-119476: Eliminate Unnecessary Function Version Checks in Tier Two Interpreter #119491
• GH-119476: Split _CHECK_FUNCTION_VERSION out of _CHECK_FUNCTION_EXACT_ARGS #119510