Function next_inspect_otherwise_idx 

pub fn next_inspect_otherwise_idx() -> usize

The next Inspect-with-Otherwise flag index (post-increment). Called at the START of each such Inspect’s desugaring in BOTH encoders, so a nested Inspect gets a strictly higher index than its enclosing one — no two live flags ever collide.