Constant rustc_session::options::desc::parse_next_solver_config

pub const parse_next_solver_config: &str = "a comma separated list of solver configurations: `globally` (default), and `coherence`";