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 the diagnostics in the linked mypy playground using the two Never-returning operator examples. Then locate the relevant return and Never checking path and add a regression test showing that both calls are accepted; done when the false-positive errors disappear without weakening the intended Never checks.