René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Discussion: Runtime error when overriding a mutable key with a `ReadOnly` one","articleBody":"Follow up from here: https://github.com/python/typing_extensions/issues/606#issuecomment-3277382801\n\n\nBackground:\nCurrently CPython emits a TypeError when a mutable key from a base TypedDict is overwritten by a ReadOnly one of a child: https://github.com/python/cpython/blob/805e3368d6d07e58430654d1365283924fdf4143/Lib/typing.py#L3151\n\nand it has an explicit test for that behavior: https://github.com/python/cpython/blob/805e3368d6d07e58430654d1365283924fdf4143/Lib/test/test_typing.py#L9077\n\nHowever typing_extensions permits and tests for that:\n- https://github.com/python/typing_extensions/blob/main/src/typing_extensions.py#L1221\n- https://github.com/python/typing_extensions/blob/main/src/test_typing_extensions.py#L5000\n\nOriginally typing_extensions had the same behaviour as CPython, however that was changed: https://github.com/python/typing_extensions/commit/d6c50f585c386490d38ad6b8ce5543aed6e633a2\n\n\nThis adjustment was not taken into account when the CPython implementation was done: https://github.com/python/cpython/pull/116350\n\nAlthough this point was later raised in the issue (after the merge of the PR): https://github.com/python/cpython/issues/116127#issuecomment-3176307396\n\n\nMy opinion:\nFrom what i understand the TypeError in CPython for this behaviour is pretty unique, as i dont think any other such attribute is runtime enforced.\n\ntyping.Final and typing.ReadOnly even specify \"There is no runtime checking for this property.\" in the [docs](https://docs.python.org/3/library/typing.html#typing.Final). (Although that obviously refers them only being read, but still).\n\nAdditionally the typing docs in general state \"The Python runtime does not enforce function and variable type annotations. They can be used by third party tools such as [type checkers](https://docs.python.org/3/glossary.html#term-static-type-checker), IDEs, linters, etc.\". Lastly, neither the docs nor the PEP say anything about such a type error existing.\n\nSo i definitely feel like the optimal thing here would be to not have a runtime error.\n\nOn top of that i feel like removing a TypeError is probably a less intrusive change than adding one, even though changes in CPython are obviously more impactful than ones in typing_extensions.","author":{"url":"https://github.com/JanEricNitschke","@type":"Person","name":"JanEricNitschke"},"datePublished":"2025-09-13T09:24:45.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/681/typing_extensions/issues/681"}