definitely 1.0.0

Codepaths that are statically unreachable according to the compiler's intraprocedural control flow analysis
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

pub fn correct() {
    loop {
        return;
        definitely::unreachable!();
    }
}

pub fn incorrect() {
    loop {
        definitely::unreachable!();
    }
}

fn main() {}