Commit be0cec288b3cabf5d20f93fc32e3586cd4a9093e

Behdad Esfahbod 2023-06-25T16:01:13

[map] Micro-optimize iteration Make is_real() faster (removes a shift). is_used() gets inlined so is not slowed down by this change.