pub fn check_unreachable_code(root: &Node, diagnostics: &mut Vec<Diagnostic>)Expand description
Entry point for unreachable code detection.
Walk the AST and emit PL406 diagnostics for any statements that cannot
be reached due to a preceding unconditional control-flow exit.