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

Reproduce los diagnósticos en el mypy playground enlazado usando los dos ejemplos de operadores que devuelven Never. Después, localiza la ruta de comprobación relevante para los retornos y Never y añade una prueba de regresión que demuestre que ambas llamadas se aceptan; se considera terminado cuando desaparezcan los errores de falsos positivos sin debilitar las comprobaciones previstas de Never.