You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Making the priority opt a pointer allows to dinstinguish "unset" from
"0". While this is irrelevant for the priorityqueue itself, it is
required for any wrapper that wants to inject a default priority
without overriding one that was explicitly set.
0 commit comments