rarw

Author: lcnr

compiler/rustc_next_trait_solver/src/solve/search_graph.rs

@@ -116,6 +116,7 @@ where
         input: CanonicalInput<I>,
         inspect: &mut Self::ProofTreeBuilder,
     ) -> QueryResult<I> {
+        println!("compute_goal");
         ensure_sufficient_stack(|| {
             EvalCtxt::enter_canonical(cx, search_graph, input, inspect, |ecx, goal| {
                 let result = ecx.compute_goal(goal);

compiler/rustc_type_ir/src/search_graph/mod.rs

@@ -140,7 +140,7 @@ pub enum PathKind {
     /// any other segment does not change its kind.
     ///
     /// This is currently only used when fuzzing to support negative reasoning.
-    /// For more details, see #TODO.
+    /// For more details, see #143054.
     ForcedAmbiguity,
 }