File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 22
33## A Workaround
44
5- DateType is a [ workaround for this
6- bug ] ( https://github.com/python/mypy/issues/9015 ) to demonstrate that we could
5+ DateType is a workaround for [ two ] ( https://github.com/python/mypy/issues/9015 )
6+ [ bugs ] ( https://github.com/python/mypy/issues/10067 ) to demonstrate that we could
77have a type-checking-time wrapper for ` datetime ` that doesn't change (or almost
88doesn't change) the implementation, but fixes up two very annoying behaviors of
99the stdlib ` datetime ` module:
Original file line number Diff line number Diff line change 55A Workaround
66------------
77
8- DateType is a ` workaround for this
9- bug <https://github.com/python/mypy/issues/9015 > `_ to demonstrate that we could
8+ DateType is a workaround for ` two < https://github.com/python/mypy/issues/9015 >`_
9+ ` bugs <https://github.com/python/mypy/issues/10067 >`_ to demonstrate that we could
1010have a type-checking-time wrapper for ``datetime `` that doesn't change (or almost
1111doesn't change) the implementation, but fixes up two very annoying behaviors of
1212the stdlib ``datetime `` module:
You can’t perform that action at this time.
0 commit comments