Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
mypy doesn't use the type of setters as of 1.9.0 (see python/mypy#3004), but I think it's still good to have these be accurate (maybe the other type checkers work better here).
- Loading branch information