panic when trying to assert a cyclic term

[danilp-id]

?- X=max(X), asserta(X).

thread 'main' (187716) panicked at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/alloc/src/vec/mod.rs:2852:36:
range start index 18446744073709551615 out of range for slice of length 0
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

[Skgland]

If I try the same on a debug build I get

$ scryer-prolog
?- X=max(X), asserta(X).

thread 'main' (38278) panicked at src/machine/loader.rs:1438:36:
attempt to subtract with overflow
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

So this subtraction in read_term_from_heap underflows

scryer-prolog/src/machine/loader.rs

Line 1438 in 8dffd72

.drain(term_stack.len() - arity ..)

Can the return type (Term) of that function even represent cyclic terms? (looks to me like it can't)