🏷️ Fix generic type hinting of registry

[Viicos]

A small improvement regarding type checking of the BaseRegistry class:

# Before
a = register("coSign")
reveal_type(a)  # Revealed type is "def (type[Any]) -> type[Any]"
b = a(...)
reveal_type(b)  # Revealed type is "Any"

# After
a = register("coSign")
reveal_type(a)  # Revealed type is "def a(type[BaseValidator]) -> type[BaseValidator]"
b = a(...)
reveal_type(b)  # Revealed type is "type[BaseValidator]"

I think it doesn't make sense to have a type alias to type[PluginType_co] outside any definition, because PluginType_co isn't bound to any generic class/function yet.

Only downside here is that in Callable[[type[PluginType_co]], type[PluginType_co]], type[PluginType_co] should also be a TypeVar bound to type[PluginType_co], but typevars bound to other typevars are not allowed.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (b237275) 95.96% compared to head (084ed69) 95.96%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #3630      +/-   ##
==========================================
- Coverage   95.96%   95.96%   -0.01%     
==========================================
  Files         683      683              
  Lines       21912    21911       -1     
  Branches     2533     2533              
==========================================
- Hits        21028    21027       -1     
  Misses        611      611              
  Partials      273      273              

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

[sergei-maertens]

shame that it makes the type annotations considerably less readable, but if this is the only way to get it to work properly in editors then so be it

[Viicos]

shame that it makes the type annotations considerably less readable, but if this is the only way to get it to work properly in editors then so be it

Yeah maybe that could be improved on the Python side