mypy doesn't check f-strings conversions

[DetachHead]

f"{None:%d/%m/%Y}" # runtime error
f"{'':1f}" # runtime error

https://mypy-play.net/?mypy=latest&python=3.10&gist=a4528c444b265cd524ec3a6f2bce3b10

[KotlinIsland]

To properly check this it would require something like typescripts template literal types.

Currently this isn't really in scope of mypy, maybe something like PyCharm or pylint

[intgr]

I think the issue title is misleading, f-strings are checked, mypy just doesn't understand the conversions like :1f, :%d/%m/%Y

For example this works as expected:

f"{123 + 'asd'}"  # mypy: error: Unsupported operand types for + ("int" and "str")

[KotlinIsland]

I think the issue title is misleading, f-strings are checked, mypy just doesn't understand the conversions like :1f, :%d/%m/%Y

For example this works as expected:

f"{123 + 'asd'}"  # mypy: error: Unsupported operand types for + ("int" and "str")

What you are saying is valid, though I believe this issue it related to the format_spec section of the f-string, not the value section.

f"{1:??AMONGUS??}". # runtime error

[jack-tutor]

Unsure of the current status of the work here/which thread is most active.

Short of fixing this, can we clarify this documentation: https://mypy.readthedocs.io/en/stable/error_code_list.html#check-that-string-formatting-interpolation-is-type-safe-str-format

States that: "Mypy will check that f-strings, str.format() calls, and % interpolations are valid" which implied to me that all the checking applied to str.format would be applied to f-strings and vice versa.

Thanks!