Function do_while_user_stmts 

pub fn do_while_user_stmts<'a, 'gcx>(
    stmts: &'a [Stmt<'gcx>],
) -> &'a [Stmt<'gcx>]

Strips the trailing if (cond) break; that lowers do { ... } while (cond);.