Yes, constraints can have helpful error messages!

[Marvin Hannott]

Whops, now I got it. Sorry for being an idiot. I thought 
`isFoo()` also triggers a compiler error. Maybe you could clarify 
that in the documentation.