https://github.com/domdfcoding/mypy-redef-issue
https://github.com/domdfcoding/mypy-redef-issue
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/domdfcoding/mypy-redef-issue
- Owner: domdfcoding
- Created: 2022-04-11T11:19:44.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2022-04-11T11:20:03.000Z (about 3 years ago)
- Last Synced: 2025-02-01T20:45:01.227Z (4 months ago)
- Language: Python
- Size: 1000 Bytes
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# mypy issue reproducer
Instructions:
1. Create a virtual environment (`python3 -m virtualenv venv`)
2. Activate the virtual environment (`source venv/bin/activate`)
3. Install mypy and the demo module (`python3 -m pip install mypy src/`)
4. Run mypy on `t.py` (`mypy t.py`)
## Expected Output
```
t.py:3: note: Revealed type is "def () -> module.Optional"
```
## Actual Output
```
t.py:3: note: Revealed type is "typing._SpecialForm"
```