> I found that calling (eq #[] #[]) also causes the problem.

I realized eq evals its args, so (eval #[]) is more direct.