Pin pytest-mypy to less than 0.10.1

[valeriupredoi]

See if it sorts out test issues (I'll edit this PR description if we decide to merge this)
Edit: it do

@schlunma makes a good case for this PR to be merged in #1788 (comment)

Closes #1788

[codecov]

Codecov Report

Merging #1787 (1eea760) into main (b880462) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1787   +/-   ##
=======================================
  Coverage   91.11%   91.11%           
=======================================
  Files         203      203           
  Lines       10908    10908           
=======================================
  Hits         9939     9939           
  Misses        969      969           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[valeriupredoi]

OK fellas @schlunma @bouweandela dis ready for a merge 🔨

[schlunma]

Looks good to me!

Please also open an issue about unpinning mypy after merging #1769 so that we don't forget this, this should only be a temporary solution.

@bouweandela please merge if you are happy with this procedure

[valeriupredoi]

great cheers Manu - this once merged we need to merge main in #1786 which has suddenly become very important 👍

[zklaus]

Let's not pin this, and instead follow the guidance at https://github.com/hauntsaninja/no_implicit_optional (which is linked from the error message) and simply set implicit_optional = True.

[zklaus]

(Of course, better yet, fix our annotations following the same repo guidance, though that is marginally more effort.)

[bouweandela]

Thanks for thinking about the potential merge conflicts @schlunma! Let's follow the advice of @zklaus and then I will take care of fixing the affected type hints before the next relase.

[valeriupredoi]

OK so I close this then open an implicit ninja PR? 🥷

[schlunma]

Or change it in this PR and change the title? 😄

[valeriupredoi]

following advice from @zklaus I opened #1790 and closing this shop

[valeriupredoi]

Or change it in this PR and change the title? smile

naah, too much fuss - plus, it's good to have a cleaner closed PR than mess about with its history 👍