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