@WG-prioritization/alerts issue #81373 has been requested for prioritization.
Can this be "fixed" It seems like fixing this could break user code, and it's not a soundness issue
well, we can short circuit on none
not sure if there is code which relies on the current behavior
i hope not
This will require a crater run, but I hope we can fix this, since this break transitivity among other things.
Issue #81373's prioritization request has been removed.