Syntactically reject equality predicates #153513
+170
−110
Open
Loading