pub fn validate_program_docs( program: &Program, text: &str, module_cache: Option<&ModuleCache>, current_file: Option<&Path>, workspace_root: Option<&Path>, ) -> Vec<Diagnostic>