Mypy does not detect redundant keyword arguments in 'str.format()'

Bug Report

To Reproduce
DOES NOT DETECT

from typing import Final

spam: Final[str] = "spam: {eggs}"
spam_eggs = spam.format(eggs="EGGS", foo="bar")

DOES NOT DETECT

from typing import Final

spam: str = "spam: {eggs}"
spam_eggs = spam.format(eggs="EGGS", foo="bar")

DOES NOT DETECT

spam = "spam: {eggs}"
spam_eggs = spam.format(eggs="EGGS", foo="bar")

DETECTS error: Not all arguments converted during string formatting [str-format]

from typing import Final

spam: Final = "spam: {eggs}"
spam_eggs = spam.format(eggs="EGGS", foo="bar")

Expected Behavior

Always detect redundant keys in the 'format()' and raise an appropriate error.

Actual Behavior

Redundant keys in the 'format()' are detected only when I use Final and only when the Final is without arguments.

Your Environment

• Mypy version used: 0.910
• Python version used: 3.9
• Operating system and version: Lubuntu 20.04

Inizia eseguendo i quattro esempi dell’issue con mypy 0.910 e confronta quali annotazioni modificano il risultato. Segui il punto di ingresso del controllo della formattazione delle stringhe per determinare perché gli argomenti con parola chiave ridondanti vengono riconosciuti solo per un Final non parametrizzato. Il lavoro è completato quando l’errore previsto viene segnalato in modo coerente per tutti gli esempi mostrati.