tree 2857053d7f6838c3dba6cabf5b397a3b783ea280
parent fb7d075cfa89daa78b1bab77fe5444a206ae4789
author Erik Ernst <eernst@google.com> 1548248616 +0000
committer Erik Ernst <eernst@google.com> 1548248616 +0000

Gathered all spec snippets about operator == into one location

This was needed because we had a handful of long sentences, nearly
identical, specifying that operator == must not be overridden, except
if it's in a specific built-in class.

These locations have been adjusted several times because it's tricky,
and now we have this in just one location (so we won't forget to
include bool again, somewhere).

Note that this shows a couple of facts (this was already a consequence
of the wording in the language specification, but now it's explicit):
We can `switch` on constant lists, sets, maps, and function objects,
and similarly for element expressions in constant lists and sets, and
for keys in constant maps.

Bug: https://github.com/dart-lang/language/issues/188.
Change-Id: Ie54bce573ee577654b598926b711d6dc8eab6ff1
Reviewed-on: https://dart-review.googlesource.com/c/90462
Reviewed-by: Lasse R.H. Nielsen <lrn@google.com>