Rather than generating a cryptic assert, we now generate a more useful error
message.

Fixes #8296