diff --git a/docs/source/more_types.rst b/docs/source/more_types.rst index 1febdcac9920..444753757aad 100644 --- a/docs/source/more_types.rst +++ b/docs/source/more_types.rst @@ -573,7 +573,7 @@ implementation, then the body is not type checked. If you want to force mypy to check the body anyways, use the :option:`--check-untyped-defs ` flag (:ref:`more details here `). -The variants must also also be compatible with the implementation +The variants must also be compatible with the implementation type hints. In the ``MyList`` example, mypy will check that the parameter type ``int`` and the return type ``T`` are compatible with ``int | slice`` and ``T | Sequence`` for the