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 = None)
but this would be treated as
   f(a : Optional[int] = None)

----------
components: Library (Lib)
files: test.py
messages: 255864
nosy: Dhruv Rajvanshi
priority: normal
severity: normal
status: open
title: Default argument values with type hints break type correctness
type: behavior
versions: Python 3.5
Added file: http://bugs.python.org/file41238/test.py

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue25797>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to