Function format_path_annotated 

pub fn format_path_annotated(path: &[usize], graph: &PathGraph<'_>) -> String

Format a path slice with cleanup-block annotations.

Cleanup blocks (MIR unwind/drop paths) are marked with a * suffix. Example: [0, 1, 2*, 3] where block 2 is a cleanup block.