Why does the rustc compiler successfully compile code that contains a logically incorrect condition?

fn main() {
let mut a = 1;
while a == 10 {

    println!("{}", a);
    a += 1;

}

}

The compiled binary doesn’t produce any output, but intuitively, the compiler should detect that the loop condition (a == 10) will never be true.

4 posts - 4 participants

Read full topic