...
Currently this is not checked; instead,
def f(a=1,b)
is interpreted as
def f(a=1,b=None)
.