Add missing words in pep-0484 (#1107)
This commit is contained in:
parent
c8e640cf4d
commit
d824da7cd8
|
@ -127,8 +127,8 @@ have a return annotation; the default behavior is thus the same as for
|
||||||
other methods.)
|
other methods.)
|
||||||
|
|
||||||
A type checker is expected to check the body of a checked function for
|
A type checker is expected to check the body of a checked function for
|
||||||
consistency with the given annotations. The annotations may also used
|
consistency with the given annotations. The annotations may also be
|
||||||
to check correctness of calls appearing in other checked functions.
|
used to check correctness of calls appearing in other checked functions.
|
||||||
|
|
||||||
Type checkers are expected to attempt to infer as much information as
|
Type checkers are expected to attempt to infer as much information as
|
||||||
necessary. The minimum requirement is to handle the builtin
|
necessary. The minimum requirement is to handle the builtin
|
||||||
|
@ -1071,7 +1071,7 @@ to a variable (or used as a return value) of a more constrained type.
|
||||||
|
|
||||||
A function parameter without an annotation is assumed to be annotated with
|
A function parameter without an annotation is assumed to be annotated with
|
||||||
``Any``. If a generic type is used without specifying type parameters,
|
``Any``. If a generic type is used without specifying type parameters,
|
||||||
they assumed to be ``Any``::
|
they are assumed to be ``Any``::
|
||||||
|
|
||||||
from typing import Mapping
|
from typing import Mapping
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue