Subject: bug#65051: internal_equal manipulates symbols with position without checking symbols-with-pos-enabled.

From: Mattias Engdegård <[email-masked]>
Date: Sat, 5 Aug 2023 16:40:23 +0200

Alan, could you produce a combined patch that includes your proposal so far (and all tests)?