Python, how to infer the type of the first element in an iterable?
How to infer the type of the first element in an iterable in MyPy/Pyright? Is there any way to annotate the code below to a bit more narrow scoped? Meaning that I want the type checker to assume that the function below returns an object of the type that is contained in the iterable or […]