Change switches to accept instances with primitive equality (#4303)

eernstg · web-flow · commit 4d1dff942787 · 2025-03-26T13:56:40.000+01:00
See dart-lang/sdk#60375 for background information. This PR changes switches to accept instances with primitive equality, rather than requiring their class to have primitive equality.
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -18732,8 +18732,8 @@ \subsection{Switch}
 }
 
 \LMHash{}%
-It is a compile-time error if the class $C$
-does not have primitive equality
+It is a compile-time error if one or more of said instances of the class $C$
+do not have primitive equality
 (\ref{theOperatorEqualsEquals}).
 
 \rationale{%

Original file line number	Diff line number	Diff line change
`@@ -18732,8 +18732,8 @@ \subsection{Switch}`
`18732`	`18732`	`}`
`18733`	`18733`
`18734`	`18734`	`\LMHash{}%`
`18735`		`-It is a compile-time error if the class $C$`
`18736`		`-does not have primitive equality`
	`18735`	`+It is a compile-time error if one or more of said instances of the class $C$`
	`18736`	`+do not have primitive equality`
`18737`	`18737`	`(\ref{theOperatorEqualsEquals}).`
`18738`	`18738`
`18739`	`18739`	`\rationale{%`