immutableなオブジェクトは、別々に代入されても、最適化によって
実体は同じになっている可能性が高い。Cの文字列リテラルがそもそも
そういう傾向だったし。
s1 = "abc"; s2 = "abc"; と書いたときに、s1 == s2が
真かどうか分からないんじゃ使い物にならないので、内容が同じなら
同一オブジェクトかどうかは問わず真にしよう、という趣旨だと思う。
ただし、単に思いついただけなので、根拠はない。