diff --git a/tests-pl/load-context-unreachable.pl b/tests-pl/load-context-unreachable.pl new file mode 100644 index 00000000..5a0f2782 --- /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 de318708..207c4909 100644 --- 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", ""); +}