NLL promotes arbitrary code to be evaluated by miri if the result is unused #53606
Description
This takes a while to compile. I presume because loop {} needs to hit the loop checker in miri. Changing the _ to _foo or foo will immediately bail out due to &(loop{}, 1).1 not living for the 'static lifetime.
#![feature(nll)] fn main() { let _: &'static usize = &(loop {}, 1).1; }Errors:
Compiling playground v0.0.1 (file:///playground) warning: unreachable expression --> src/main.rs:4:40 | 4 | let _: &'static usize = &(loop {}, 1).1; | ^ | = note: #[warn(unreachable_code)] on by default Finished dev [unoptimized + debuginfo] target(s) in 1.09s Running `target/debug/playground` /root/entrypoint.sh: line 8: 7 Killed timeout --signal=KILL ${timeout} "$@"