Closed marioortizmanero closed 2 years ago
This closes #75. Its correctness can be proved by running the second example in there.
The only issue I had was that I'm not sure when/why use std::ptr::eq in PartialEq or similars; std doesn't do that AFAIK.
std::ptr::eq
PartialEq
std
I'll fix the ambiguity error that makes this not compile in nightly today.
Closed, will try the new approach from #75
This closes #75. Its correctness can be proved by running the second example in there.
The only issue I had was that I'm not sure when/why use
std::ptr::eq
inPartialEq
or similars;std
doesn't do that AFAIK.