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