gh-145055: Accept frozendict for globals in exec() and eval()

[vstinner]

• Issue: The globals argument to eval() should accept frozendict #145055

---

📚 Documentation preview 📚: https://cpython-previews--145072.org.readthedocs.build/

[vstinner]

The PR is now ready for review.

[vstinner]

cc @skirpichev

[vstinner]

It's still possible to modify builtins, unless builtins is declared as a frozendict:

# module __builtins__>>>fd=frozendict(__builtins__=__builtins__)
>>>exec("__builtins__.x = 1", fd, fd)
# dict __builtins__>>>fd=frozendict(__builtins__=__builtins__.__dict__)
>>>exec("__builtins__['x'] = 1", fd, fd)
# frozendict __builtins__>>>fd=frozendict(__builtins__=frozendict(__builtins__.__dict__))
>>>exec("__builtins__['x'] = 1", fd, fd)
Traceback (mostrecentcalllast):
...
TypeError: 'frozendict'objectdoesnotsupportitemassignment

[vstinner]

@skirpichev: I removed the sentence from the documentation, and I replaced it with a more precise error message if assigning __builtins__ to the frozendict globals fails. Please review the updated PR.

[vstinner]

Merged. Thanks for the review @skirpichev.