My impression is that earlier
[] == []

used to give a type error.  Now it gives True.

So

1. Which instance of == is being used?

2. Is there some option controlling this behavior?