Closed btwj closed 6 months ago
Variant equality is now done on a case-by-case basis. Previously, it did not correctly dispatch the variant equality method.
In the added test case, the old version would merge B and C together to become #ref, and then use RefEq instead, which is incorrect.
B
C
#ref
RefEq
Variant equality is now done on a case-by-case basis. Previously, it did not correctly dispatch the variant equality method.
In the added test case, the old version would merge
BandCtogether to become#ref, and then useRefEqinstead, which is incorrect.