Add tests for PR #2756

diff --git a/tests-pl/load-context-unreachable.pl b/tests-pl/load-context-unreachable.pl
new file mode 100644 (file)
index 0000000..5a0f278
--- /dev/null
+++ b/tests-pl/load-context-unreachable.pl
@@ -0,0 +1 @@
+:- initialization((M = user, loader:load_context(M))).

diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs
index de318708b57468b1c3f426bc375aa78d517d75b0..207c490942bc1e1c76a137665401a67edb3651ac 100644 (file)
--- a/tests/scryer/issues.rs
+++ b/tests/scryer/issues.rs
@@ -25,3 +25,11 @@ fn issue2588_load_html() {
 fn call_qualification() {
     load_module_test("tests-pl/issue2361-call-qualified.pl", "");
 }
+
+// PR #2756: ensures that calling load_context with a bound variable doesn't trigger unreachable!()
+#[serial]
+#[test]
+#[cfg_attr(miri, ignore = "it takes too long to run")]
+fn load_context_unreachable() {
+    load_module_test("tests-pl/load-context-unreachable.pl", "");
+}