diff --git a/pep-0484.txt b/pep-0484.txt index 9bdb77323..478536ae4 100644 --- a/pep-0484.txt +++ b/pep-0484.txt @@ -127,8 +127,8 @@ have a return annotation; the default behavior is thus the same as for other methods.) A type checker is expected to check the body of a checked function for -consistency with the given annotations. The annotations may also used -to check correctness of calls appearing in other checked functions. +consistency with the given annotations. The annotations may also be +used to check correctness of calls appearing in other checked functions. Type checkers are expected to attempt to infer as much information as 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 ``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