Skip to content

Self-documenting f-string in conversion specifier throws ValueError #121130

Closed
@JelleZijlstra

Description

@JelleZijlstra

Bug report

Bug description:

Since Python 3.12, the compiler throws a ValueError when compiling a string like f"{x:{y=}}":

$ ./python.exe Python 3.14.0a0 (heads/main:81a654a342, Jun 28 2024, 07:45:17) [Clang 15.0.0 (clang-1500.3.9.4)] on darwin Type "help", "copyright", "credits" or "license" for more information. >>> f"{x:{y=}}" ValueError: field 'value' is required for Constant

Note this is a compile-time error; you also see it if you call compile() or ast.parse(). I would not expect the compiler to ever throw ValueError.

On 3.11, this works as I'd expect:

$ python Python 3.11.9 (main, May 7 2024, 09:02:19) [Clang 15.0.0 (clang-1500.3.9.4)] on darwin Type "help", "copyright", "credits" or "license" for more information. >>> f"{x:{y=}}" Traceback (most recent call last): File "<stdin>", line 1, in <module> NameError: name 'x' is not defined >>> import ast >>> ast.dump(ast.parse('f"{x:{y=}}"')) "Module(body=[Expr(value=JoinedStr(values=[FormattedValue(value=Name(id='x', ctx=Load()), conversion=-1, format_spec=JoinedStr(values=[Constant(value='y='), FormattedValue(value=Name(id='y', ctx=Load()), conversion=114)]))]))], type_ignores=[])" 

I don't have a use case for this, but came across it while exploring f-string syntax.

cc @ericvsmith for f-strings and @pablogsal because this feels related to PEP 701

CPython versions tested on:

3.12, CPython main branch

Operating systems tested on:

macOS

Linked PRs

Metadata

Metadata

Assignees

No one assigned

    Labels

    3.12only security fixes3.13bugs and security fixes3.14bugs and security fixestype-bugAn unexpected behavior, bug, or error

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions