Commit 5e42f7bb6d025f14955e60c94ea08aca472e08dd

Behdad Esfahbod 2023-07-14T11:26:38

Revert "Revert "[priority-queue] Inline a couple more"" This reverts commit 915410e5267cba5bfc6154548c8856ae077bfefe. Mistake.