let warn_locals_escape is_block fundec k =
  (*TODO: find a better alarm for variables escaping block scope *)
  Value_parameters.warning ~current:true ~once:true "local escaping the scope of %t%a through %a"
    (swap (Pretty_utils.pp_cond is_block) "a block of ")
    !d_var fundec.svar Base.pretty k