Only print chalk programs with CHALK_PRINT

Author: detrumi

crates/hir_ty/src/traits.rs

@@ -168,11 +168,15 @@ fn solve(
     };
 
     let solution = if is_chalk_debug() {
-        let logging_db = LoggingRustIrDatabase::new(context);
         let solve = || {
-            let solution = solver.solve_limited(&logging_db, goal, should_continue);
-            log::debug!("chalk program:\n{}", logging_db);
-            solution
+            if is_chalk_print() {
+                let logging_db = LoggingRustIrDatabase::new(context);
+                let solution = solver.solve_limited(&logging_db, goal, should_continue);
+                log::debug!("chalk program:\n{}", logging_db);
+                solution
+            } else {
+                solver.solve_limited(&context, goal, should_continue)
+            }
         };
 
         // don't set the TLS for Chalk unless Chalk debugging is active, to make
@@ -191,6 +195,10 @@ fn is_chalk_debug() -> bool {
     std::env::var("CHALK_DEBUG").is_ok()
 }
 
+fn is_chalk_print() -> bool {
+    std::env::var("CHALK_PRINT").is_ok()
+}
+
 fn solution_from_chalk(
     db: &dyn HirDatabase,
     solution: chalk_solve::Solution<Interner>,