The spec says : "Return true if x and y refer to the same object." (Step 7 in 9.12)
However, I think x and y are members of type Object (because "x and y are ECMAScript language values" and if they are not objects it is impossible to reach step 7), so I don't understand why each of them (= x or y) refers an object.
The statement, "Return true if x and y refer to the same object," is wrong, isn't it? I think the correct statement is "Return true if x and y are the same object."
Eliminated "reference" implication and replaced with "Object value" language.
Made similar changes in 11.9.1 Abstract Equality and Strict Equality comparison algorithms
corrected in rev. 5