Compilers not doing something is not a demonstration that they are not actually allowed to do that thing.