Closed
Description
Support --allow-redefinitions. This should be simple -- we just need to run the renaming pass, probably in mypy.build right after parsing or after reachability analysis.
{{ message }}
No projects
No milestone
None yet
No branches or pull requests