feat: [698] Added TypeForm for provide

[ApusBerliozi]

Added TypeForm annotation for provide (both Provide class and provide function).

Didn't go into guts yet, started with public API first

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[github-actions]

Coverage report

Click to see where and how coverage changed

File	Statements	Missing	Coverage	Coverage (new stmts)	Lines missing
src/dishka/provider
make_factory.py
provider.py
Project Total

This report was generated by python-coverage-comment-action

[Tishka17]

I expect that TypeForm will help detecting such cases:

class AImpl(AProtocol): ...

provide(AImpl, provides=AProtocol)  # ok
provide(AImpl, provides=str)  # err
provide(str, provides=AProtocol)  # err

Still it is not clear about Union types in provides. Let's write down test cases firstly. If TypeForm does not add anything useful, we'd rather not use it

[ApusBerliozi]

Oh, I see

Hm. In that case, I need to do something with CompositeDependencySource...

I'll take a look at it, check what can be done

[Tishka17]

I am not sure we can solve all cases, so let's discuss

[ApusBerliozi]

Yeaaaaaaaah, I think you are right :(

In order for code to do what we wanna do, we need to point that source argument has the same TypeForm as in provides (or smth like that).

While I think that it's possible, it isn't an easy task for sure, cause of the code's guts. I would gladly work with that, always wanted to try and add new changes in existing infrastructure, but if it isn't a priority - I can understand it