Experimental _get and _get_one typing

[adam-urbanczyk]

Gets rid of the mypy plugin. Max arity of _get and _get_one is hardcoded, but in practice this should not be a problem.

This will possibly enable users of type-checkers other than mypy to use CQ without workarounds.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 95.72%. Comparing base (f4847b5) to head (5c4e7a4).

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2060      +/-   ##
==========================================
+ Coverage   95.70%   95.72%   +0.01%     
==========================================
  Files          30       30              
  Lines        9480     9533      +53     
  Branches     1410     1420      +10     
==========================================
+ Hits         9073     9125      +52     
  Misses        253      253              
- Partials      154      155       +1     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[adam-urbanczyk]

@DavidMStraub could check if this actually works for you?

[DavidMStraub]

Sorry for the delay!

After our discussion, I think the changes are mostly shielded from the user-facing side, but I still think it would be great to get rid of the mypy plugin and make the code base more agnostic of the specific type checker, given modern alternatives like pyright, pyrefly or ty are on the rise.

[lorenzncode]

Thanks @adam-urbanczyk !

[jmwright]

Is the coverage error not a problem?

[adam-urbanczyk]

The coverage of this two lines did not change in this PR (i.e. it is a false positive). But fair enough, I extended the tests to get to 100%.

[jmwright]

Thanks @adam-urbanczyk