Why compiler doesn't check the size of types with the `size` pragma?

[mratsim]

Because when you specify size, you tell the compiler than you know more than it 
and making sure things are OK becomes your responsibility.