Add test.

2 files changed, 16 insertions, 0 deletions

diff --git a/testsuite/tests/basic/pr7657.ml b/testsuite/tests/basic/pr7657.ml
new file mode 100755
index 0000000000..8803cf3428
--- /dev/null
+++ b/testsuite/tests/basic/pr7657.ml
@@ -0,0 +1,13 @@
+[@@@ocaml.warning "-21-5"]
+
+let foo g () = g 1; ()
+let f1 ?x y = print_endline "f1"
+let f2 ?x y = print_endline "f2"
+
+let () =
+  try foo (raise Exit; f1); print_endline "FAIL"
+  with Exit -> print_endline "OK"
+
+let r : (?x:unit -> int -> unit) ref = ref f1
+let h = foo r.contents
+let () = h (); r := f2; h ()
diff --git a/testsuite/tests/basic/pr7657.reference b/testsuite/tests/basic/pr7657.reference
new file mode 100644
index 0000000000..2268fbef8d
--- /dev/null
+++ b/testsuite/tests/basic/pr7657.reference
@@ -0,0 +1,3 @@
+OK
+f1
+f1