Improve a typeck ICE message (slightly)
Suppress type error message involving a function type whose result is ty_err

In general it would be good to suppress any messages involving types that
have ty_err as a sub-component, but this works for now.
xfail broken tests