//@ run-pass
// Issue 1974
// Don't double free the condition allocation
pub fn main() {
let s = "hej".to_string();
while s != "".to_string() {
return;
}