f-strings with unformattable values can break inferred literals in overloads

[KotlinIsland]

from typing import overload


@overload
def f(): ...


@overload
def f(s: str, a: True = ...): ...


def f(s="", a=True): ...


v: None

f(f"{v}", True)