The method mypy.constraints.ConstraintBuildervisitor.visit_callable_type is pretty broken. It assumes that there are no *args, **kwargs and that the callable types are generally compatible.

This issue may be already filed, but adding it now so that I won't forget about it.