Generate the correct cast error message.