let warn_locals_escape_result fundec =
  Value_parameters.warning ~current:true ~once:true 
    "local escaping the scope of %a through \\result"
    !d_var fundec.svar