[asukaminato0721]

Summary

Desugared classmethod assignments retain instance binding. The test expects the current incorrect diagnostics and documents class binding, subclass-aware results, and class attribute initialization as the intended behavior.

The testcase! regressions use bug = markers and comments documenting the correct behavior. These are passing tests of known bugs, following the repository test guidance.

The complete implementation and regression tests remain in PR #4796. Related issue: #3362.

Validation

Based on upstream main at ef6de648bce0dc6dcca0a21a9fbb7490f23ecce8.

• cargo test -p pyrefly --lib -- test_desugared_classmethod — passed.
• python3 test.py --no-test --no-tensor-shapes --no-conformance --no-jsonschema --no-extension — passed.

[meta-codesync]

This pull request has been imported. If you are a Meta employee, you can view this in D122390395. (Because this pull request was imported automatically, there will not be any future comments.)

[codspeed]

Merging this PR will not alter performance

✅ 35 untouched benchmarks
⏩ 9 skipped benchmarks¹

---

_{Comparing asukaminato0721:tests-only-pr-4796 (264ce53) with main (ae32011)}

Footnotes

1. 9 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

[github-actions]

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

[kinto0]

Review automatically exported from Phabricator review in Meta.

[kinto0]

thank you for splitting this. sorry it took a while, I wanted to verify this actually reproduced the bug and it looks like it does. I'll merge this for now

[meta-codesync]

This pull request has been merged in 906d9a2.