Commit 2024-10-29 14:12 dcfa0cff
View on Github →chore: address porting note about type-ascribing Quotient.mk
(#18376)
It no longer appears to be the case that we need a type ascription on Quotient.mk
for performance reasons: in fact according to count_heartbeats
the number of heartbeats goes down very slightly on basically every declaration if we remove them. So remove the porting note and the type ascriptions.