From 8ce038c3547396b190737a6dfac9479b9d14772e Mon Sep 17 00:00:00 2001
From: AlexWaygood <alex.waygood@gmail.com>
Date: Sat, 29 Jul 2023 18:30:39 +0100
Subject: [PATCH] Argument clinic: Make the `filename` parameter to `Clinic`
 required

---
 Tools/clinic/clinic.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Tools/clinic/clinic.py b/Tools/clinic/clinic.py
index cb999c156ee28b..3c16dc389e3ebc 100755
--- a/Tools/clinic/clinic.py
+++ b/Tools/clinic/clinic.py
@@ -2015,7 +2015,6 @@ def __post_init__(self, args: tuple[str, ...]) -> None:
         if self.type =='file':
             d = {}
             filename = self.clinic.filename
-            assert filename is not None
             d['path'] = filename
             dirname, basename = os.path.split(filename)
             if not dirname:
@@ -2133,8 +2132,8 @@ def __init__(
             language: CLanguage,
             printer: BlockPrinter | None = None,
             *,
+            filename: str,
             verify: bool = True,
-            filename: str | None = None
     ) -> None:
         # maps strings to Parser objects.
         # (instantiated from the "parsers" global.)