Comparing changes
Open a pull request
- 18 commits
- 21 files changed
- 3 contributors
Commits on Nov 25, 2023
-
Adds TC009 for type checking declarations used at runtime
Extends TC100/TC200 to deal with type checking declarations Avoids a couple of false positives in TC100/TC101 Avoids contradicting TC004/TC009 errors vs. TC100/TC200 errors
-
-
Implements scopes with symbol tables with variable lookups
This symbol lookup also properly supports PEP695 This gets rid of the need for some of our earlier book-keeping, since the variable lookup in the current scope yields a more accurate result Refactored the else case of TC101 into TC201
-
-
Cleans up redundant head scope for ClassDef.
Fixes runtime symbol lookup into outer scopes. Treats NamedExpr like definitions. Improves scope handling of comprehensions and if expressions.
-
Fixes check (ast.comprehension has no lineno/col_offset)
Adds some regression tests for the more complex scoping rules.
-
-
Refactors TC100 into TC200 check to reduce repetition
Avoids warnings by removing `ast.Ellipsis` check, which no longer exists as an actual type, it's just a factory for `ast.Constant` now.
-
Fixes scoping regression tests
We actually need individual symbols for both tests, the comprehensions will leak their loop variables, so we need to use different ones for each expression to ensure we properly test that each one defines a new symbol that is accessible from within the entire expression.
-
Moves one of the regression tests from TC004 to TC009
It would never have emitted a TC004, even if we made a mistake it would always have emitted a TC009. I've added an inverse test to convince ourselves that this is true.
-
-
-
-
This comparison is taking too long to generate.
Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.
You can try running this command locally to see the comparison on your machine:
git diff v2.5.1...v2.6.0