Comment Comment by kiitos It literally isn't enforced by the compiler, because I can compile code which is invalid. parent kiitos 3 years ago