false positive errors when calling operator override that returns `Never` from another function that returns `Never`

from typing import Never

class Foo:
    def __mul__(self, value: float, /) -> Never:
        raise Exception("multiplication is banned")

    def __rmul__(self, value: float, /) -> Never: # error: Implicit return in function which does not return  [misc]
        self * value
    
    def __rmul_attempt_2__(self, value: float, /) -> Never:
        return self * value # error: Return statement in function which does not return  [misc]

playground

Reproduziere die Diagnosen im verlinkten mypy playground mit den beiden Operatorbeispielen, die Never zurückgeben. Ermittle anschließend den relevanten Prüfpfad für Rückgabewerte und Never und füge einen Regressionstest hinzu, der zeigt, dass beide Aufrufe akzeptiert werden; abgeschlossen ist die Aufgabe, wenn die False-Positive-Fehler verschwinden, ohne die vorgesehenen Never-Prüfungen abzuschwächen.