Give an error message when type inference is requested where inference is impossible.