I agree with Luciano's conclusion and have nothing to add other than to
encourage him to submit a PR for the docs. (I know he already submitted a
PR to refactor the docs. Honestly I lost track of that one. Luciano, if you
need my review for that one, please ping me.)

On Fri, Jul 31, 2020 at 10:04 AM Mariatta <report@bugs.python.org> wrote:

>
> Mariatta <mariatta@python.org> added the comment:
>
> >  because their runtime results are inconsistent with how Mypy handles
> them, producing both false positives and false negatives.
>
> @guido or @ivan, do you have further thoughts or additional context to
> share about the above point?
>
> ----------
> nosy: +Mariatta
>
> _______________________________________
> Python tracker <report@bugs.python.org>
> <https://bugs.python.org/issue40978>
> _______________________________________
>