A variable annotated with 'date' is not compatible with a value of type 'datetime'. #2487

Activity

1. mvaled commented on Sep 26, 2018

   

   mvaled

   on Sep 26, 2018

   ContributorAuthor

   More actions

   The following program is rejected by mypy:

   from datetime import date, datetime
   
   class Date: ...
   class Datetime(Date): ...
   
   now: date = datetime.now()
   rightnow: Date = Datetime()
   
   assert isinstance(now, date)

   $ mypy bug.py 
   bug.py:6: error: Incompatible types in assignment (expression has type "datetime", variable has type "date")
   
2. JelleZijlstra commented on Sep 26, 2018

   

   JelleZijlstra

   on Sep 26, 2018

   Member

   More actions

   There's probably some incompatible methods. Try modifying the stub to make datetime inherit from date and run tests/mypy_test.py.

   We could fix this by just # type: ignoreing the lines with any incompatible methods.
3. mvaled

   added 2 commits that reference this issue on Sep 26, 2018

   Make 'datetime' a subclass of 'date'.

   ...

   This issue will close once commit 6bacc45 is merged into the 'master' branch.

   6bacc45

   Make 'datetime' a subclass of 'date'.

   ...

   This issue will close once commit 4723360 is merged into the 'master' branch.

   4723360
4. mvaled commented on Sep 26, 2018

   

   mvaled

   on Sep 26, 2018

   ContributorAuthor

   More actions

   @JelleZijlstra I created a PR in #2488
5. JelleZijlstra

   closed this as completedin #2488on Oct 2, 2018
6. JelleZijlstra

   added a commit that references this issue on Oct 2, 2018

   Make 'datetime' a subclass of 'date'. (#2488)

   ...

   This issue will close once commit 1297caa is merged into the 'main' branch.

   1297caa
7. yedpodtrzitko

   added a commit that references this issue on Jan 23, 2019

   Make 'datetime' a subclass of 'date'. (python#2488)

   ...

   This issue will close once commit 31f6f7c is merged into the 'master' branch.

   31f6f7c