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 (most recent call last):
  ...
TypeError: 'frozendict' object does not support item assignment

[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.