api: use new base helper in more operation definitions

[superlopuh]

Pylance errors: 725 -> 678

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.90%. Comparing base (6637e85) to head (7f59830).

Additional details and impacted files

@@                               Coverage Diff                                @@
##           sasha/irdl/typed-constraints/pyrdl-filecheck    #2893      +/-   ##
================================================================================
- Coverage                                         89.90%   89.90%   -0.01%     
================================================================================
  Files                                               403      403              
  Lines                                             50413    50421       +8     
  Branches                                           7787     7787              
================================================================================
+ Hits                                              45324    45330       +6     
- Misses                                             3862     3863       +1     
- Partials                                           1227     1228       +1     

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

[math-fehr]

I think this is not allowed with new pyright right?
Base should be type type[T] -> constrain[T], but a generic is not a type anymore right?

[n-io]

Which new pyright?

[n-io]

Since base is not defined in this PR, please can you include a link to the original PR or add pointers to docs / implementation (I also can't locate it in the code)

[superlopuh]

We just added it yesterday/this morning, it's a helper to construct a constraint that carries the type information of the Attribute type passed in. The "new pyright" is any pyright newer than the one we're using (v1.1.345), notably the one in VSCode that is tied to the extension version and not the one in the virtual environment.