I believe it was a conscious decision to limit de cascading of type errors from global type inference, the base algorithm was capable of it.