pub fn branch_outcome(tail: &Expr) -> Option<String>Expand description
A branch’s rendered outcome — the tail value the handler yields on that
path (Ok(view)), which a renderer shows as a note over the entry
lifeline. None when the tail carries no distinguishable reply: a unit
() (an else-less if’s synthesised branch, or an explicit () tail), or
control flow (if/match/block) that is already rendered as its own
nested structure — repeating it as a note would only add noise.