@elazarg

Based on the above issue, this seems like a good idea... :)

This looks like a dupe of #16, but I'll leave this open since there's a PR that references this.

One thought from the discussion at #16: It may be reasonable to have a first argument (at least one not spelled as self) with an arbitrary annotation, but that function will not be a proper instance method and should only be callable within the class body. Example:

class A:
    def f(x: str) -> int:   # ok
        return int(x)

    a = f('123')  # ok

A().f()  # error, f is not a method

#16 has more discussion.

IMO, ideally we would only allow use of such a function from within the class' scope. We would report an error for functions that are used from the outside (as suggested by Jukka), and also for functions that are unused from the inside.

However, personally I would vote for requiring an explicit hint for such functions, keeping the policy and implementation simpler.

I was thinking about type: ignore... But of course it can be something else. And you can use @staticmethod I guess.

Static methods can't be called without a class.

>>> @staticmethod
... def f(): pass
...
>>> f()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: 'staticmethod' object is not callable
>>>