Summary
In the following code I search the longest element in a collection (I tried values of a dict and list):
xs: list[list[str]] = [["foo", "bar"], ["baz", "qux", "quux"]]
x = max(xs, key=len)
reveal_type(x)
I expect x to be revealed as list[str], but it is revealed as Sized.
Am I missing something?
Command executed:
ty check --error-on-warning
No other settings are applied to ty.
Version
0.0.12
Summary
In the following code I search the longest element in a collection (I tried values of a dict and list):
I expect
xto be revealed aslist[str], but it is revealed asSized.Am I missing something?
Command executed:
No other settings are applied to
ty.Version
0.0.12