fn check_recursive_anchor( component: &[usize], fns: &[FnInfo], callers_by_target: &[Vec<usize>], path: &Path, violations: &mut Vec<MisorderedFnViolation>, )