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

From: Dmitry Gutov <[email-masked]>
Date: Fri, 11 Aug 2023 03:51:09 +0300

On 08/08/2023 18:33, Alan Mackenzie wrote:
>> So I'm still wondering why you think it's a bug.
> Because it violates the definition and basic understanding of equal.
> It's a special case when no special case is needed.
> 

Does 'equal'-ity of strings with and without text properties (or with 
different text properties) violate these as well?