automatic Literal types where possible

[graingert]

input

class Foo:
    pass

reveal_type(Foo.__name__)

expected output:

foo.py:4: error: Revealed type is "Literal['Foo']"

actual output:

foo.py:4: error: Revealed type is 'builtins.str'

[ilevkivskyi]

Hm, this is an interesting idea!

[graingert]

And maybe even __module__ etc

[brandtbucher]

How would that work if it is later changed? Seems tricky to me:

Foo.__name__ = "something else"

Is there a good use case for this?