Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Wrong type annotations in pyk #4660

Open
pxhdev opened this issue Oct 13, 2024 · 0 comments
Open

Wrong type annotations in pyk #4660

pxhdev opened this issue Oct 13, 2024 · 0 comments

Comments

@pxhdev
Copy link

pxhdev commented Oct 13, 2024

In pyk.kcfg.kcfg.py, the create_ndbranch function says that the key of KCFG._ndbranches should be of type KCFG.NDBranch. However, it is mistakenly annotated as NDBranch, which actually points to class NDBranch(KCFGExtendResult). There are lots of wrong annotations like this in that file and as a result I get lots of error from lsp.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant