Revert "Suppress type error message involving a function type whose result is ty_err"

This reverts commit e45312e5a0557b2d79028bd5f869f979bc2b5924.