enforce operators include possible right hand types in their input parameter

[KotlinIsland]

Description

class Left:
    def __add__(self, other: int) -> int:
        # here "other" is `Right`
        return other + 1 # Type error here


class Right:
    def __radd__(self, other: Left) -> str:
        return "i'm string :)"


Left() + Right()

[DetachHead]

i dont get it, Left() + Right() is a str in basedpyright and at runtime so what's the issue?

[KotlinIsland]

i dont get it, Left() + Right() is a str in basedpyright and at runtime so what's the issue?

this code raises a TypeError because it passes a Right to a function that only accepts an int

[DetachHead]

[KotlinIsland]

oopsies, that was an oversight. i've updated the op

[DetachHead]

any reason why the error should be on the usage instead? having to account for every possible type in the definition would be annoying

[KotlinIsland]

any reason why the error should be on the usage instead?

that would make sense, but it would be very disruptive. everything is written with this assumption