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

Riproduci i diagnostici nel mypy playground collegato usando i due esempi di operatori che restituiscono Never. Individua quindi il percorso di verifica rilevante per i valori restituiti e Never e aggiungi un test di regressione che dimostri che entrambe le chiamate vengono accettate; il lavoro è completo quando gli errori di falso positivo scompaiono senza indebolire i controlli previsti per Never.