むしろ「同じオブジェクトに属さないもののアドレス同士の比較が必要になること自体がおかしい」
という規格の背景を考えたらどうでもいいとは思えない