As convincing as this sounds: the system has clearly defined limits. The compiler infers, but does not take instructions.