An example of a constraint as expressed in the C standard is having two variables of the same name declared in a scope1), for example:
void foo(int bar)
{
int var;
double var;
}
This code breaches the constraint and must produce a diagnostic message at compile time. This is very usef...