Allow reverse operators in protocols

Author: Will-thom

mypy/checker.py

@@ -1962,6 +1962,9 @@ def check_reverse_op_method(
 
         assert defn.info
 
+        if defn.info.is_protocol:
+            return
+
         # First check for a valid signature
         method_type = CallableType(
             [AnyType(TypeOfAny.special_form), AnyType(TypeOfAny.special_form)],

test-data/unit/check-protocols.test

@@ -1539,6 +1539,17 @@ f(C()) # E: No overload variant of "f" matches argument type "C" \
 [builtins fixtures/isinstance.pyi]
 [typing fixtures/typing-full.pyi]
 
+[case testProtocolReversePowWithModulo]
+from typing import overload, Protocol
+
+class PowableProto(Protocol):
+    @overload
+    def __rpow__(self, other: "PowableProto") -> "PowableProto": ...
+    @overload
+    def __rpow__(
+        self, other: "PowableProto", modulo: "PowableProto"
+    ) -> "PowableProto": ...
+
 -- Unions of protocol types
 -- ------------------------