Equality of structs/tuples is undefined

[tabatkins]

What is the issue with the Infra Standard?

It's not currently specified how struct/tuple equality works. This is required, for example, for it to be well-defined how they work as map keys (and this is already done, see https://html.spec.whatwg.org/multipage/webappapis.html#module-map).

I think the obvious answer (and definitely what's expected for the module map) is that struct/tuple equality is structural - two structs/tuples are equivalent if they have the same shape, and the contents are equal.

[domenic]

Related (but different): whatwg/html#10315

[annevk]

See also #230.

Defining this at the Infra level would require some kind of operator overloading and concepts that want to participate to consistently use "equals" to define their equality and such. I think it's something we have to do eventually, but it's quite a lift.