[case testTemplateStringImplicitDependencyFineGrained]
import m
x: str = m.x

[file m.py]
x = "foo"

[file m.py.2]
x = t"foo"

[file typing_extensions.pyi]
LiteralString = str

[builtins fixtures/f_string.pyi]
[out]
==
main:2: error: Incompatible types in assignment (expression has type "Template", variable has type "str")