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