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.

Estimated changes