Expand description
Shared immutable view of the program after registration finishes. Inference reads through this handle; it cannot mutate.
Invariant: only & references. No RefCell, Cell, Rc, or owned
mutable state. The analysis_context_is_send_sync test below
enforces this at compile time.