@@ -814,7 +814,7 @@ impl<'a, 'b, 'c> Unparser<'a, 'b, 'c> {
 
         if let Some(format_spec) = &interpolation.format_spec {
             self.p(":")?;
-            self.unparse_tstring_body(&format_spec.elements)?;
+            self.unparse_fstring_body(&format_spec.elements)?;
         }
 
         self.p("}")
 
@@ -8,3 +8,15 @@ def func(s: str) -> int:
 # The order of type hints matters for certain functions
 # e.g. functools.singledispatch
 assert list(hints.items()) == [('s', str), ('return', int)]
+
+
+# Template format specs use canonical expression text inside future annotations.
+for template, expected in (
+    ("t'{value:04}'", "t'{value:04}'"),
+    ("t'{value:{(width)}}'", "t'{value:{width}}'"),
+    ("t'{(value):{(width)!r}}'", "t'{(value):{width!r}}'"),
+):
+    annotation_code = compile(
+        "from __future__ import annotations\nx: " + template, "<test>", "exec"
+    )
+    assert expected in annotation_code.co_consts
Original file line number	Diff line number	Diff line change
`@@ -814,7 +814,7 @@ impl<'a, 'b, 'c> Unparser<'a, 'b, 'c> {`
`814`	`814`
`815`	`815`	`if let Some(format_spec) = &interpolation.format_spec {`
`816`	`816`	`self.p(":")?;`
`817`		`- self.unparse_tstring_body(&format_spec.elements)?;`
	`817`	`+ self.unparse_fstring_body(&format_spec.elements)?;`
`818`	`818`	`}`
`819`	`819`
`820`	`820`	`self.p("}")`