And what tells the user this?

It may not be a "development" bug, in that the error occurs due to faulty code, but it should certainly be filed as a bug and assigned to someone who addresses user experience issues.

(Which at Google would mean being thrown into a black hole... http://data.whicdn.com/images/25373715/4171_d7e8_thumb.gif)