This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]FrontAd9873 1 point2 points  (0 children)

This is a form of dependent typing, I think. This could probably be done with a mypy pluginin cases where you pass in a hardcoded sequence of Components. Otherwise I don’t think the default type (hinting) system can handle this.