python-minifier 2.10.0__tar.gz → 2.11.1__tar.gz

{python_minifier-2.10.0/src/python_minifier.egg-info → python_minifier-2.11.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: python_minifier
-Version: 2.10.0
+Version: 2.11.1
 Summary: Transform Python source code into it's most compact representation
 Home-page: https://github.com/dflook/python-minifier
 Author: Daniel Flook
@@ -8,6 +8,7 @@ Author-email: daniel@flook.org
 License: MIT
 Project-URL: Issues, https://github.com/dflook/python-minifier/issues
 Project-URL: Documentation, https://dflook.github.io/python-minifier/
+Project-URL: Changelog, https://github.com/dflook/python-minifier/blob/main/CHANGELOG.md
 Keywords: minify minifier
 Classifier: Development Status :: 5 - Production/Stable
 Classifier: License :: OSI Approved :: MIT License
@@ -23,13 +24,14 @@ Classifier: Programming Language :: Python :: 3.9
 Classifier: Programming Language :: Python :: 3.10
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
 Classifier: Programming Language :: Python :: 2
 Classifier: Programming Language :: Python :: 2.7
 Classifier: Programming Language :: Python :: Implementation :: CPython
 Classifier: Programming Language :: Python :: Implementation :: PyPy
 Classifier: Intended Audience :: Developers
 Classifier: Topic :: Software Development
-Requires-Python: >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, <3.13
+Requires-Python: >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, <3.14
 Description-Content-Type: text/markdown
 License-File: LICENSE
 
@@ -39,7 +41,7 @@ Transforms Python source code into its most compact representation.
 
 [Try it out!](https://python-minifier.com)
 
-python-minifier currently supports Python 2.7 and Python 3.3 to 3.12. Previous releases supported Python 2.6.
+python-minifier currently supports Python 2.7 and Python 3.3 to 3.13. Previous releases supported Python 2.6.
 
 * [PyPI](https://pypi.org/project/python-minifier/)
 * [Documentation](https://dflook.github.io/python-minifier/)
@@ -139,10 +141,13 @@ To install python-minifier use pip:
 $ pip install python-minifier
 ```
 
-Note that python-minifier depends on the python interpreter for parsing source code, 
-so install using a version of python appropriate for your source.
+Note that python-minifier depends on the python interpreter for parsing source code,
+and outputs source code compatible with the version of the interpreter it is run with.
 
-python-minifier runs with and can minify code written for Python 2.7 and Python 3.3 to 3.12.
+This means that if you minify code written for Python 3.11 using python-minifier running with Python 3.12,
+the minified code may only run with Python 3.12.
+
+python-minifier runs with and can minify code written for Python 2.7 and Python 3.3 to 3.13.
 
 ## Usage
 
@@ -167,4 +172,4 @@ Documentation is available at [dflook.github.io/python-minifier/](https://dflook
 
 Available under the MIT License. Full text is in the [LICENSE](LICENSE) file.
 
-Copyright (c) 2020 Daniel Flook
+Copyright (c) 2024 Daniel Flook

{python_minifier-2.10.0 → python_minifier-2.11.1}/README.md

@@ -4,7 +4,7 @@ Transforms Python source code into its most compact representation.
 
 [Try it out!](https://python-minifier.com)
 
-python-minifier currently supports Python 2.7 and Python 3.3 to 3.12. Previous releases supported Python 2.6.
+python-minifier currently supports Python 2.7 and Python 3.3 to 3.13. Previous releases supported Python 2.6.
 
 * [PyPI](https://pypi.org/project/python-minifier/)
 * [Documentation](https://dflook.github.io/python-minifier/)
@@ -104,10 +104,13 @@ To install python-minifier use pip:
 $ pip install python-minifier
 ```
 
-Note that python-minifier depends on the python interpreter for parsing source code, 
-so install using a version of python appropriate for your source.
+Note that python-minifier depends on the python interpreter for parsing source code,
+and outputs source code compatible with the version of the interpreter it is run with.
 
-python-minifier runs with and can minify code written for Python 2.7 and Python 3.3 to 3.12.
+This means that if you minify code written for Python 3.11 using python-minifier running with Python 3.12,
+the minified code may only run with Python 3.12.
+
+python-minifier runs with and can minify code written for Python 2.7 and Python 3.3 to 3.13.
 
 ## Usage
 
@@ -132,4 +135,4 @@ Documentation is available at [dflook.github.io/python-minifier/](https://dflook
 
 Available under the MIT License. Full text is in the [LICENSE](LICENSE) file.
 
-Copyright (c) 2020 Daniel Flook
+Copyright (c) 2024 Daniel Flook

{python_minifier-2.10.0 → python_minifier-2.11.1}/setup.py

@@ -16,6 +16,7 @@ setup(
     project_urls={
         'Issues': 'https://github.com/dflook/python-minifier/issues',
         'Documentation': 'https://dflook.github.io/python-minifier/',
+        'Changelog': 'https://github.com/dflook/python-minifier/blob/main/CHANGELOG.md'
     },
     keywords='minify minifier',
 
@@ -26,8 +27,8 @@ setup(
     long_description=long_desc,
     long_description_content_type='text/markdown',
 
-    python_requires='>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, <3.13',
-    version='2.10.0',
+    python_requires='>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, <3.14',
+    version='2.11.1',
 
     classifiers=[
         'Development Status :: 5 - Production/Stable',
@@ -44,6 +45,7 @@ setup(
         'Programming Language :: Python :: 3.10',
         'Programming Language :: Python :: 3.11',
         'Programming Language :: Python :: 3.12',
+        'Programming Language :: Python :: 3.13',
         'Programming Language :: Python :: 2',
         'Programming Language :: Python :: 2.7',
         'Programming Language :: Python :: Implementation :: CPython',

{python_minifier-2.10.0 → python_minifier-2.11.1}/src/python_minifier/ministring.py

@@ -32,11 +32,15 @@ class MiniString(object):
 
         try:
             eval(self.quote + s + self.quote)
-        except UnicodeDecodeError:
-            if self._safe_mode:
+        except (UnicodeDecodeError, UnicodeEncodeError) as e:
+            if self.safe_mode:
                 raise
 
-            self._safe_mode = True
+            self.safe_mode = True
+            if len(self.quote) == 1:
+                s = self.to_short()
+            else:
+                s = self.to_long()
 
         assert eval(self.quote + s + self.quote) == self._s
 

{python_minifier-2.10.0 → python_minifier-2.11.1}/src/python_minifier/module_printer.py

@@ -754,17 +754,29 @@ class ModulePrinter(ExpressionPrinter):
             self.printer.delimiter(':')
             self._expression(node.bound)
 
+        if hasattr(node, 'default_value') and node.default_value is not None:
+            self.printer.delimiter('=')
+            self._expression(node.default_value)
+
     def visit_TypeVarTuple(self, node):
         assert isinstance(node, ast.TypeVarTuple)
         self.printer.operator('*')
         self.printer.identifier(node.name)
 
+        if hasattr(node, 'default_value') and node.default_value is not None:
+            self.printer.delimiter('=')
+            self._expression(node.default_value)
+
     def visit_ParamSpec(self, node):
         assert isinstance(node, ast.ParamSpec)
         self.printer.operator('*')
         self.printer.operator('*')
         self.printer.identifier(node.name)
 
+        if hasattr(node, 'default_value') and node.default_value is not None:
+            self.printer.delimiter('=')
+            self._expression(node.default_value)
+
     # endregion
 
     def visit_Module(self, node):

{python_minifier-2.10.0 → python_minifier-2.11.1}/src/python_minifier/transforms/remove_annotations.py

@@ -120,11 +120,11 @@ class RemoveAnnotations(SuiteTransformer):
         if is_dataclass_field(node) or is_typing_sensitive(node):
             return node
         elif node.value:
-            return self.add_child(ast.Assign([node.target], node.value), parent=node.parent)
+            return self.add_child(ast.Assign([node.target], node.value), parent=node.parent, namespace=node.namespace)
         else:
             # Valueless annotations cause the interpreter to treat the variable as a local.
             # I don't know of another way to do that without assigning to it, so
             # keep it as an AnnAssign, but replace the annotation with '0'
 
-            node.annotation = self.add_child(ast.Num(0), parent=node.parent)
+            node.annotation = self.add_child(ast.Num(0), parent=node.parent, namespace=node.namespace)
             return node

{python_minifier-2.10.0 → python_minifier-2.11.1/src/python_minifier.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: python_minifier
-Version: 2.10.0
+Version: 2.11.1
 Summary: Transform Python source code into it's most compact representation
 Home-page: https://github.com/dflook/python-minifier
 Author: Daniel Flook
@@ -8,6 +8,7 @@ Author-email: daniel@flook.org
 License: MIT
 Project-URL: Issues, https://github.com/dflook/python-minifier/issues
 Project-URL: Documentation, https://dflook.github.io/python-minifier/
+Project-URL: Changelog, https://github.com/dflook/python-minifier/blob/main/CHANGELOG.md
 Keywords: minify minifier
 Classifier: Development Status :: 5 - Production/Stable
 Classifier: License :: OSI Approved :: MIT License
@@ -23,13 +24,14 @@ Classifier: Programming Language :: Python :: 3.9
 Classifier: Programming Language :: Python :: 3.10
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
 Classifier: Programming Language :: Python :: 2
 Classifier: Programming Language :: Python :: 2.7
 Classifier: Programming Language :: Python :: Implementation :: CPython
 Classifier: Programming Language :: Python :: Implementation :: PyPy
 Classifier: Intended Audience :: Developers
 Classifier: Topic :: Software Development
-Requires-Python: >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, <3.13
+Requires-Python: >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, <3.14
 Description-Content-Type: text/markdown
 License-File: LICENSE
 
@@ -39,7 +41,7 @@ Transforms Python source code into its most compact representation.
 
 [Try it out!](https://python-minifier.com)
 
-python-minifier currently supports Python 2.7 and Python 3.3 to 3.12. Previous releases supported Python 2.6.
+python-minifier currently supports Python 2.7 and Python 3.3 to 3.13. Previous releases supported Python 2.6.
 
 * [PyPI](https://pypi.org/project/python-minifier/)
 * [Documentation](https://dflook.github.io/python-minifier/)
@@ -139,10 +141,13 @@ To install python-minifier use pip:
 $ pip install python-minifier
 ```
 
-Note that python-minifier depends on the python interpreter for parsing source code, 
-so install using a version of python appropriate for your source.
+Note that python-minifier depends on the python interpreter for parsing source code,
+and outputs source code compatible with the version of the interpreter it is run with.
 
-python-minifier runs with and can minify code written for Python 2.7 and Python 3.3 to 3.12.
+This means that if you minify code written for Python 3.11 using python-minifier running with Python 3.12,
+the minified code may only run with Python 3.12.
+
+python-minifier runs with and can minify code written for Python 2.7 and Python 3.3 to 3.13.
 
 ## Usage
 
@@ -167,4 +172,4 @@ Documentation is available at [dflook.github.io/python-minifier/](https://dflook
 
 Available under the MIT License. Full text is in the [LICENSE](LICENSE) file.
 
-Copyright (c) 2020 Daniel Flook
+Copyright (c) 2024 Daniel Flook

{python_minifier-2.10.0 → python_minifier-2.11.1}/src/python_minifier.egg-info/SOURCES.txt

@@ -48,6 +48,8 @@ test/test_assignment_expressions.py
 test/test_await_fstring.py
 test/test_bind_names.py
 test/test_bind_names_python2.py
+test/test_bind_names_python312.py
+test/test_bind_names_python313.py
 test/test_bind_names_python33.py
 test/test_combine_imports.py
 test/test_comprehension_rename.py
@@ -76,4 +78,5 @@ test/test_remove_object.py
 test/test_remove_pass.py
 test/test_rename_builtins.py
 test/test_rename_locals.py
-test/test_slice.py
+test/test_slice.py
+test/test_type_param_defaults.py

python_minifier-2.11.1/test/test_bind_names_python312.py

@@ -0,0 +1,158 @@
+import sys
+
+import pytest
+
+from helpers import assert_namespace_tree
+
+def test_class_typevar_default():
+    if sys.version_info < (3, 12):
+        pytest.skip('Test is for > python3.12 only')
+
+    source = '''
+class Foo[T]: ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Foo', allow_rename=True) <references=1>
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  + Class Foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_function_typevar_default():
+    if sys.version_info < (3, 12):
+        pytest.skip('Test is for > python3.12 only')
+
+    source = '''
+def foo[T](): ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  - NameBinding(name='foo', allow_rename=True) <references=1>
+  + Function foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_alias_typevar_default():
+    if sys.version_info < (3, 12):
+        pytest.skip('Test is for > python3.12 only')
+
+    source = '''
+type Alias[DefaultT] = Blah
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Alias', allow_rename=True) <references=1>
+  - NameBinding(name='Blah', allow_rename=False) <references=1>
+  - NameBinding(name='DefaultT', allow_rename=True) <references=1>
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_class_typevartuple_default():
+    if sys.version_info < (3, 12):
+        pytest.skip('Test is for > python3.12 only')
+
+    source = '''
+class Foo[*T]: ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Foo', allow_rename=True) <references=1>
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  + Class Foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_function_typevartuple_default():
+    if sys.version_info < (3, 12):
+        pytest.skip('Test is for > python3.12 only')
+
+    source = '''
+def foo[*T](): ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  - NameBinding(name='foo', allow_rename=True) <references=1>
+  + Function foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_alias_typevartuple_default():
+    if sys.version_info < (3, 12):
+        pytest.skip('Test is for > python3.12 only')
+
+    source = '''
+type Alias[*DefaultT] = Blah
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Alias', allow_rename=True) <references=1>
+  - NameBinding(name='Blah', allow_rename=False) <references=1>
+  - NameBinding(name='DefaultT', allow_rename=True) <references=1>
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_class_paramspec_default():
+    if sys.version_info < (3, 12):
+        pytest.skip('Test is for > python3.12 only')
+
+    source = '''
+class Foo[**T]: ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Foo', allow_rename=True) <references=1>
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  + Class Foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_function_paramspec_default():
+    if sys.version_info < (3, 12):
+        pytest.skip('Test is for > python3.12 only')
+
+    source = '''
+def foo[**T](): ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  - NameBinding(name='foo', allow_rename=True) <references=1>
+  + Function foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_alias_paramspec_default():
+    if sys.version_info < (3, 12):
+        pytest.skip('Test is for > python3.12 only')
+
+    source = '''
+type Alias[**DefaultT] = Blah
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Alias', allow_rename=True) <references=1>
+  - NameBinding(name='Blah', allow_rename=False) <references=1>
+  - NameBinding(name='DefaultT', allow_rename=True) <references=1>
+'''
+
+    assert_namespace_tree(source, expected_namespaces)

python_minifier-2.11.1/test/test_bind_names_python313.py

@@ -0,0 +1,189 @@
+import sys
+
+import pytest
+
+from helpers import assert_namespace_tree
+
+def test_class_typevar_default():
+    if sys.version_info < (3, 13):
+        pytest.skip('Test is for python3.13 only')
+
+    source = '''
+class Foo[T = str]: ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Foo', allow_rename=True) <references=1>
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  - BuiltinBinding(name='str', allow_rename=True) <references=1>
+  + Class Foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_function_typevar_default():
+    if sys.version_info < (3, 13):
+        pytest.skip('Test is for python3.13 only')
+
+    source = '''
+A = str
+def foo[T = A](): ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='A', allow_rename=True) <references=2>
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  - NameBinding(name='foo', allow_rename=True) <references=1>
+  - BuiltinBinding(name='str', allow_rename=True) <references=1>
+  + Function foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_alias_typevar_default():
+    if sys.version_info < (3, 13):
+        pytest.skip('Test is for python3.13 only')
+
+    source = '''
+A = str
+type Alias[DefaultT = A] = Blah
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='A', allow_rename=True) <references=2>
+  - NameBinding(name='Alias', allow_rename=True) <references=1>
+  - NameBinding(name='Blah', allow_rename=False) <references=1>
+  - NameBinding(name='DefaultT', allow_rename=True) <references=1>
+  - BuiltinBinding(name='str', allow_rename=True) <references=1>
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_class_typevartuple_default():
+    if sys.version_info < (3, 13):
+        pytest.skip('Test is for python3.13 only')
+
+    source = '''
+T=tuple[str, int]
+class Foo[*T = str]: ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Foo', allow_rename=True) <references=1>
+  - NameBinding(name='T', allow_rename=True) <references=2>
+  - BuiltinBinding(name='int', allow_rename=True) <references=1>
+  - BuiltinBinding(name='str', allow_rename=True) <references=2>
+  - BuiltinBinding(name='tuple', allow_rename=True) <references=1>
+  + Class Foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_function_typevartuple_default():
+    if sys.version_info < (3, 13):
+        pytest.skip('Test is for python3.13 only')
+
+    source = '''
+A = tuple[str, int]
+def foo[*T = A](): ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='A', allow_rename=True) <references=2>
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  - NameBinding(name='foo', allow_rename=True) <references=1>
+  - BuiltinBinding(name='int', allow_rename=True) <references=1>
+  - BuiltinBinding(name='str', allow_rename=True) <references=1>
+  - BuiltinBinding(name='tuple', allow_rename=True) <references=1>
+  + Function foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_alias_typevartuple_default():
+    if sys.version_info < (3, 13):
+        pytest.skip('Test is for python3.13 only')
+
+    source = '''
+type Alias[*DefaultT = tuple[str, int]] = Blah
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Alias', allow_rename=True) <references=1>
+  - NameBinding(name='Blah', allow_rename=False) <references=1>
+  - NameBinding(name='DefaultT', allow_rename=True) <references=1>
+  - BuiltinBinding(name='int', allow_rename=True) <references=1>
+  - BuiltinBinding(name='str', allow_rename=True) <references=1>
+  - BuiltinBinding(name='tuple', allow_rename=True) <references=1>
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_class_paramspec_default():
+    if sys.version_info < (3, 13):
+        pytest.skip('Test is for python3.13 only')
+
+    source = '''
+T=tuple[str, int]
+class Foo[**T = str]: ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Foo', allow_rename=True) <references=1>
+  - NameBinding(name='T', allow_rename=True) <references=2>
+  - BuiltinBinding(name='int', allow_rename=True) <references=1>
+  - BuiltinBinding(name='str', allow_rename=True) <references=2>
+  - BuiltinBinding(name='tuple', allow_rename=True) <references=1>
+  + Class Foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_function_paramspec_default():
+    if sys.version_info < (3, 13):
+        pytest.skip('Test is for python3.13 only')
+
+    source = '''
+A = tuple[str, int]
+def foo[**T = A](): ...
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='A', allow_rename=True) <references=2>
+  - NameBinding(name='T', allow_rename=True) <references=1>
+  - NameBinding(name='foo', allow_rename=True) <references=1>
+  - BuiltinBinding(name='int', allow_rename=True) <references=1>
+  - BuiltinBinding(name='str', allow_rename=True) <references=1>
+  - BuiltinBinding(name='tuple', allow_rename=True) <references=1>
+  + Function foo
+'''
+
+    assert_namespace_tree(source, expected_namespaces)
+
+def test_alias_paramspec_default():
+    if sys.version_info < (3, 13):
+        pytest.skip('Test is for python3.13 only')
+
+    source = '''
+type Alias[**DefaultT = tuple[str, int]] = Blah
+'''
+
+    expected_namespaces = '''
++ Module
+  - NameBinding(name='Alias', allow_rename=True) <references=1>
+  - NameBinding(name='Blah', allow_rename=False) <references=1>
+  - NameBinding(name='DefaultT', allow_rename=True) <references=1>
+  - BuiltinBinding(name='int', allow_rename=True) <references=1>
+  - BuiltinBinding(name='str', allow_rename=True) <references=1>
+  - BuiltinBinding(name='tuple', allow_rename=True) <references=1>
+'''
+
+    assert_namespace_tree(source, expected_namespaces)

python_minifier-2.11.1/test/test_type_param_defaults.py

@@ -0,0 +1,89 @@
+import ast
+import sys
+import pytest
+from python_minifier import unparse
+from python_minifier.ast_compare import compare_ast
+
+# There are bizarrely few examples of this, some in the PEP are even syntax errors
+
+def test_pep696():
+    if sys.version_info < (3, 13):
+        pytest.skip('Defaults for type parameters are not supported in python < 3.13')
+
+    source = '''
+type Alias[DefaultT = int, T] = tuple[DefaultT, T]  # SyntaxError: non-default TypeVars cannot follow ones with defaults
+
+def generic_func[DefaultT = int, T](x: DefaultT, y: T) -> None: ...  # SyntaxError: non-default TypeVars cannot follow ones with defaults
+
+class GenericClass[DefaultT = int, T]: ...  # SyntaxError: non-default TypeVars cannot follow ones with defaults
+
+'''
+
+    expected_ast = ast.parse(source)
+    actual_ast = unparse(expected_ast)
+    compare_ast(expected_ast, ast.parse(actual_ast))
+
+def test_pep696_2():
+    if sys.version_info < (3, 13):
+        pytest.skip('Defaults for type parameters are not supported in python < 3.13')
+
+    source = '''
+# TypeVars
+class Foo[T = str]: ...
+
+# ParamSpecs
+class Baz[**P = [int, str]]: ...
+
+# TypeVarTuples
+class Qux[*Ts = *tuple[int, bool]]: ...
+
+# TypeAliases
+type Qux[*Ts = *tuple[str]] = Ham[*Ts]
+type Rab[U, T = str] = Bar[T, U]
+'''
+
+    expected_ast = ast.parse(source)
+    actual_ast = unparse(expected_ast)
+    compare_ast(expected_ast, ast.parse(actual_ast))
+
+def test_pep696_3():
+    if sys.version_info < (3, 13):
+        pytest.skip('Defaults for type parameters are not supported in python < 3.13')
+
+    source = '''
+class Foo[T = int]:
+    def meth(self) -> Self:
+        return self
+
+reveal_type(Foo.meth)  # type is (self: Foo[int]) -> Foo[int]
+
+'''
+
+    expected_ast = ast.parse(source)
+    actual_ast = unparse(expected_ast)
+    compare_ast(expected_ast, ast.parse(actual_ast))
+
+def test_example():
+    if sys.version_info < (3, 13):
+        pytest.skip('Defaults for type parameters are not supported in python < 3.13')
+
+    source = '''
+def overly_generic[
+   SimpleTypeVar,
+   TypeVarWithDefault = int,
+   TypeVarWithBound: int,
+   TypeVarWithConstraints: (str, bytes),
+   *SimpleTypeVarTuple = (int, float),
+   **SimpleParamSpec = (str, bytearray),
+](
+   a: SimpleTypeVar,
+   b: TypeVarWithDefault,
+   c: TypeVarWithBound,
+   d: Callable[SimpleParamSpec, TypeVarWithConstraints],
+   *e: SimpleTypeVarTuple,
+): ...
+    '''
+
+    expected_ast = ast.parse(source)
+    actual_ast = unparse(expected_ast)
+    compare_ast(expected_ast, ast.parse(actual_ast))