enable -Znext-solver=coherence

Author: lcnr

compiler/rustc_session/src/options.rs

@@ -1842,7 +1842,10 @@ options! {
         "the size at which the `large_assignments` lint starts to be emitted"),
     mutable_noalias: bool = (true, parse_bool, [TRACKED],
         "emit noalias metadata for mutable references (default: yes)"),
-    next_solver: Option<NextSolverConfig> = (None, parse_next_solver_config, [TRACKED],
+    next_solver: Option<NextSolverConfig> = (Some( NextSolverConfig {
+        coherence: true,
+        globally: false,
+    }), parse_next_solver_config, [TRACKED],
         "enable and configure the next generation trait solver used by rustc"),
     nll_facts: bool = (false, parse_bool, [UNTRACKED],
         "dump facts from NLL analysis into side files (default: no)"),