Inferring constraints for callable types doesn't verify argument counts and kinds · Issue #702 · python/mypy (original) (raw)

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.