Noticed this while reading https://github.com/rust-lang/rust/pull/117967/, they are wrong for current stable, but also wrong for 1.81