Skip to content

rust_runtime_bridge_name's Absent arm is the identity case, not a fail-open: the premise falsified, and the join enrolled - #9123

Merged
briansrls merged 8 commits into
mainfrom
session/gentle-newt-105
Aug 25, 2026
Merged

rust_runtime_bridge_name's Absent arm is the identity case, not a fail-open: the premise falsified, and the join enrolled#9123
briansrls merged 8 commits into
mainfrom
session/gentle-newt-105

The totality argument rests on the map being derived: say so where it…

3014264
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar