//@ run-pass
//@ pretty-expanded FIXME #23616
#![allow(while_true)]
#![allow(unreachable_code)]
pub fn main() {
return;
while true {};
}