Infer dictionary literals as TypedDict

[codethief]

@JakubDotPy

Just to throw an idea, maybe the Final variables could be inferred as TypedDict in the same way that x: Final = 123 is inferred as Literal[123]?

This was already brought up in the other thread:

PEP 764: Inlined typed dictionaries

I think you’re overcomplicating this. Why not re-use Final for this? It already infers Literals, so the leap wouldn’t be that far. Anyways, I feel like this is beyond the scope of this PEP and should probably be its own thread in the Ideas section if you wish to discuss this further.

and there were two responses (mine included) arguing why Final would not be appropriate.