If it is, it should be asserted (e.g. with #pragma error or something like that)