fix #926 bug typechecking callable param default args