Constant rustc_session::options::DB_OPTIONS

pub const DB_OPTIONS: &[(&str, DebuggingSetter, &str, &str)];