super() without arguments requires v3+

Author: netromdk

tests/builtin_functions.py

@@ -50,7 +50,8 @@ def test_sum(self):
     self.assertOnlyIn(((2, 3), (3, 0)), self.detect("sum()"))
 
   def test_super(self):
-    self.assertOnlyIn(((2, 2), (3, 0)), self.detect("super()"))
+    # Calling without arguments requires v3 (`SourceVisitor.super_no_args()`).
+    self.assertOnlyIn(((2, 2), (3, 0)), self.detect("super(SomeType)"))
 
   def test_unichr(self):
     self.assertOnlyIn((2, 0), self.detect("unichr()"))

tests/lang.py

@@ -1830,3 +1830,22 @@ def square(number: int | float) -> int | float:
 """)
       self.assertTrue(visitor.union_types())
       self.assertOnlyIn((3, 10), visitor.minimum_versions())
+
+  def test_super_no_args(self):
+    # Without arguments, it's v3.0.
+    visitor = self.visit("""
+class Foo:
+  def test(self):
+    super()
+""")
+    self.assertTrue(visitor.super_no_args())
+    self.assertOnlyIn((3, 0), visitor.minimum_versions())
+
+    # With arguments, the mininmum of super() is v2.2/3.0.
+    visitor = self.visit("""
+class Foo:
+  def test(self):
+    super(Foo, self)
+""")
+    self.assertFalse(visitor.super_no_args())
+    self.assertOnlyIn(((2, 2), (3, 0)), visitor.minimum_versions())

vermin/source_visitor.py

@@ -146,6 +146,7 @@ def __init__(self, config, path=None):
     self.__builtin_types = {"dict", "set", "list", "unicode", "str", "int", "float", "long",
                             "bytes"}
     self.__codecs_encodings_kwargs = ("encoding", "data_encoding", "file_encoding")
+    self.__super_no_args = False
 
     # Imported members of modules, like "exc_clear" of "sys".
     self.__import_mem_mod = {}
@@ -360,6 +361,9 @@ def union_types(self):
   def pattern_matching(self):
     return self.__pattern_matching
 
+  def super_no_args(self):
+    return self.__super_no_args
+
   def __violates_target_versions(self, versions):
     # If only violations isn't turned on then fake violations because it means it will show the
     # rule.
@@ -547,6 +551,9 @@ def minimum_versions(self):
     if self.union_types():
       mins = self.__add_versions_entity(mins, (None, (3, 10)), "union types as `X | Y`")
 
+    if self.super_no_args():
+      mins = self.__add_versions_entity(mins, (None, (3, 0)), "super() without arguments")
+
     for directive in self.strftime_directives():
       if directive in STRFTIME_REQS:
         vers = STRFTIME_REQS[directive]
@@ -1112,6 +1119,9 @@ def visit_Call(self, node):
              is_int_node(node.args[2]):
             self.__mod_inverse_pow = True
             self.__vvprint("modular inverse pow()", versions=[None, (3, 8)])
+        elif func.id == "super" and len(node.args) == 0:
+          self.__super_no_args = True
+          self.__vvprint("super() without arguments", versions=[None, (3, 0)])
       elif hasattr(func, "attr"):
         attr = func.attr
         if attr == "format" and hasattr(func, "value") and isinstance(func.value, ast.Str) and \