Closed ExpHP closed 6 years ago
It seems suspicious to me that Zero and Add would be implemented for Id<Multiplicative>. Is this what was intended?
Zero
Add
Id<Multiplicative>
(note: this is a breaking change)
This seems suspicious to me, too. @sebcrozet?
Yes, this is definitely wrong. Thanks for correcting this!
It seems suspicious to me that
Zero
andAdd
would be implemented forId<Multiplicative>
. Is this what was intended?(note: this is a breaking change)