src/tools/clippy/tests/ui-internal/auxiliary/paths.rs

pub static OPTION: [&str; 3] = ["core", "option", "Option"];
pub const RESULT: &[&str] = &["core", "result", "Result"];