You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Supporting congruence closure requires the `unioned_keys` iterator,
which in turn requires maintaining the parent/sibling pointers. This
grows the size of nodes, which in turn leads to a 2% slowdown in
various rustc test cases (e.g., the `coercions` benchmark in
perf.rust-lang.org). Given that this feature is not used in chalk or
anywhere else, no reason to support it.
0 commit comments