[issue25797] Default argument values with type hints break type correctness

Emanuel Barry added the comment: As Stefan said, this is not a bug with Python. Enforcing strict type checking is the responsibility of third-party tools, not the interpreter. -- nosy: +ebarry resolution: -> not a bug stage: -> resolved status: open -> closed

[issue25797] Default argument values with type hints break type correctness

Stefan Krah added the comment: The compiler does not perform type checking. These are type *annotations* for third party tools like Mypy. -- nosy: +skrah ___ Python tracker

[issue25797] Default argument values with type hints break type correctness

New submission from Dhruv Rajvanshi: Specifying default arguments break the type system. The types of default values aren't matched with the type of the argument. Moreover, having None as a default value changes the type declaration to Optional[T]. So, the declaration may be f(a : int =