Repository navigation
Conversation
Pyright Type CompletenessView the full Project (full
Other symbols referenced but not exported by
Symbols without documentation:
Patch (exported symbols added or changed by this PR): 0.0% fully typed (0 / 2)
Patch symbol details
|
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #1525 +/- ##
=======================================
Coverage 94.36% 94.36%
=======================================
Files 97 97
Lines 6198 6198
Branches 798 798
=======================================
Hits 5849 5849
Misses 225 225
Partials 124 124
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
|
@yuuuxt thanks for the deep finds! a couple questions
|
This reverts commit feabdec.
(Disclaimer: as you see it is heavily assisted by LLM with some of my manual checking) Other issues found by LLM are created, after manually checking the repros: #1526, #1527, #1528. |
henrydingliu
left a comment
There was a problem hiding this comment.
appears inoffensive. @genedan does this interfere/conflict with your existing typing plans?
Summary of Changes
Related GitHub Issue(s)
Closes #1524
AI/LLM Usage
The fix is proposed by LLM and reviewed manually. Confirmed the issue is resolved. Please review further for correctness.
Additional Context for Reviewers
(Below from LLM explanation)
This patch fixes the type-checking view of TrianglePandas:
TrianglePandas’s inheritance order, so type checkers resolve the concreteset_backendimplementation before the protocol declaration.sumunderTYPE_CHECKING, since it is added dynamically at runtime and otherwise isn’t recognized by static analysis.Submitter's Checklist
[FIX],[FEAT],[DOCS],[TST],[CHORE], or[BRK]).Reviewer's Checklist