Add more commments

spastorino · spastorino · commit 9c076f3f9044 · 2022-03-17T14:38:30.000-03:00
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs
@@ -353,6 +353,7 @@ fn negative_impl<'cx, 'tcx>(
     })
 }
 
+/// Try to prove that a negative impl exist for the given obligation and their super predicates.
 #[instrument(level = "debug", skip(selcx))]
 fn negative_impl_exists<'cx, 'tcx>(
     selcx: &SelectionContext<'cx, 'tcx>,
@@ -366,6 +367,7 @@ fn negative_impl_exists<'cx, 'tcx>(
         return true;
     }
 
+    // Try to prove a negative obligation exist for super predicates
     // FIXME we should implement an `assemble_neg_candidates` fn
     for o in util::elaborate_predicates(infcx.tcx, iter::once(o.predicate)) {
         if resolve_negative_obligation(infcx, param_env, region_context, &o) {

Original file line number	Diff line number	Diff line change
`@@ -353,6 +353,7 @@ fn negative_impl<'cx, 'tcx>(`
`353`	`353`	`})`
`354`	`354`	`}`
`355`	`355`
	`356`	`+/// Try to prove that a negative impl exist for the given obligation and their super predicates.`
`356`	`357`	`#[instrument(level = "debug", skip(selcx))]`
`357`	`358`	`fn negative_impl_exists<'cx, 'tcx>(`
`358`	`359`	`selcx: &SelectionContext<'cx, 'tcx>,`
`@@ -366,6 +367,7 @@ fn negative_impl_exists<'cx, 'tcx>(`
`366`	`367`	`return true;`
`367`	`368`	`}`
`368`	`369`
	`370`	`+ // Try to prove a negative obligation exist for super predicates`
`369`	`371`	// FIXME we should implement an `assemble_neg_candidates` fn
`370`	`372`	`for o in util::elaborate_predicates(infcx.tcx, iter::once(o.predicate)) {`
`371`	`373`	`if resolve_negative_obligation(infcx, param_env, region_context, &o) {`