Skip to content

Drop the unused incomplete_attributes from pyrefly coverage#4031

Open
jorenham wants to merge 1 commit into
facebook:mainfrom
jorenham:gh-4023
Open

Drop the unused incomplete_attributes from pyrefly coverage#4031
jorenham wants to merge 1 commit into
facebook:mainfrom
jorenham:gh-4023

Conversation

@jorenham

@jorenham jorenham commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

Summary

parse_classes no longer fills ReportClass.incomplete_attributes by walking each class's MRO, since build_module_report dropped it anyway.

Fixes #4023

Test Plan

Tests still pass; no behavior changes

@github-actions

github-actions Bot commented Jul 2, 2026

Copy link
Copy Markdown

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

pyrefly coverage computes incomplete_attributes but never outputs it

2 participants