This section is quite confusing to me. It either needs to be reworded with examples or possibly dropped entirely. This sounds like just it's just reiterating what the compiler enforces that C cannot, so the section may not be entirely useful?