For instance a progframmer needs to check the greatest possible value for a numerical variable. He must find its definition and get its type. Then he can read in the documentation of the compiler about limits for variables of this type.
In other cases the search of compiler-level information is is more complex. For us is important that it is allways possible and the results are strict defined.
At least a human can compile the code manually. This is usually not simple, but not more complex than to write a program in assembler. No darkness is present here.