Python输入:给它实例方法声明可调用类型

请考虑以下代码:

import typing

def a(x: int, y: int) -> int:
    return x + y

class F(object):
    def b(self, x: int, y: int) -> int:
        return x + y

def call(operation: typing.Callable[[int, int], int]) -> int:
    return operation(2, 2)

call(a)

f = F()
call(f.b)

我的PyCharm IDE指示最后一行的输入错误:

这是打字/类型声明错误吗？PyCharm类型检查器失败了吗？如果是输入错误,应该是什么？