Update compiler/rustc_trait_selection/src/traits/coherence.rs

nikomatsakis · web-flow · commit 89a00cc8ae92 · 2022-03-17T16:51:30.000-04:00
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs
@@ -368,7 +368,6 @@ fn negative_impl_exists<'cx, 'tcx>(
     }
 
     // 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) {
             return true;

Original file line number	Diff line number	Diff line change
`@@ -368,7 +368,6 @@ fn negative_impl_exists<'cx, 'tcx>(`
`368`	`368`	`}`
`369`	`369`
`370`	`370`	`// Try to prove a negative obligation exist for super predicates`
`371`		- // FIXME we should implement an `assemble_neg_candidates` fn
`372`	`371`	`for o in util::elaborate_predicates(infcx.tcx, iter::once(o.predicate)) {`
`373`	`372`	`if resolve_negative_obligation(infcx, param_env, region_context, &o) {`
`374`	`373`	`return true;`