Sure, but so far this has been a true criticism of every python type checker that isnt mypy that is production ready today