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

リンク先の mypy playground で、Never を返す 2 つの演算子の例を使って診断を再現します。次に、戻り値と Never に関する該当するチェックパスを特定し、両方の呼び出しが受け入れられることを示す回帰テストを追加します。意図した Never のチェックを弱めることなく、偽陽性のエラーが消えれば完了です。