Use Eq.structuralEq for deriving

This commit is contained in:
Ayaz Hafiz 2022-10-05 17:48:31 -05:00
parent 3674f6861e
commit 4adae7651f
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -117,7 +117,7 @@ impl Derived {
DeriveBuiltin::IsEq => {
// If obligation checking passes, we always lower derived implementations of `isEq`
// to the `Eq` low-level, to be fulfilled by the backends.
Ok(Derived::SingleLambdaSetImmediate(Symbol::BOOL_EQ))
Ok(Derived::SingleLambdaSetImmediate(Symbol::EQ_STRUCTURAL_EQ))
}
}
}