numbers module

The signature of Rational.__truediv__ is marked as the following:

First of, _ComplexLike sounds like it should be numbers.Complex. But second, the signature should be more refined :

• the divisor cannot be just any value, it has to be a number, so at a minimum numbers.Complex instead of Unknown. The typing signature should be (self, Complex) -> Complex.
• when passing a Real as a divisor, the result cannot have an imaginary part and must be Real too. I'd go as far as saying that a Rational divisor would yield a Rational dividend. In any case, a (self, Real) -> Real overload should be defined. And as a bonus, a (self, Rational) -> Rational one too.

typeshed の numbers モジュールから始めて、Rational.truediv の宣言を調べます。現在の _ComplexLike および Unknown のアノテーションを、要求された Complex、Real、Rational のオーバーロードと比較します。スタブが要求された除数と結果の関係を表現し、関連する typeshed の検証に合格すれば完了です。