pub fn walk_declared_params(
program: &[SNode],
visit: &mut impl FnMut(DeclaredParam),
)Expand description
Visit every declared parameter governed by the explicit-annotation rule.
The order is stable across annotation-only rewrites, so migration code can audit the corresponding post-rewrite parameter without inventing a second declaration identity scheme.