gh-113212: Test supercheck error message

WolframAlph · WolframAlph · commit d2674cc56deb · 2023-12-20T21:05:00.000+01:00
diff --git a/Lib/test/test_super.py b/Lib/test/test_super.py
@@ -396,6 +396,25 @@ def method(self):
         with self.assertRaisesRegex(TypeError, "argument 1 must be a type"):
             C().method()
 
+    def test_supercheck_fail(self):
+        class C:
+            def method(self, type_, obj):
+                return super(type_, obj).method()
+
+        c = C()
+        err_msg = r"super\(type, obj\): obj must be an instance or subtype of type. "
+        cases = (
+            (int, c, int.__name__, C.__name__),
+            (C, list(), C.__name__, list.__name__),  # obj is instance of typ
+            (C, list, C.__name__, list.__name__),    # obj is type itself
+        )
+
+        for type_, obj, type_str, obj_type_str in cases:
+            regex = err_msg + f"Got obj: '{obj_type_str}', type: '{type_str}'."
+
+            with self.assertRaisesRegex(TypeError, regex):
+                c.method(type_, obj)
+
     def test_super___class__(self):
         class C:
             def method(self):
