diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2022-03-17 16:51:30 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-17 16:51:30 -0400 |
| commit | 89a00cc8ae92f159325a7b5cb06a6d7802a4f3c5 (patch) | |
| tree | f35ccd72f1350f01a52987f6e47c3d516204e7a1 | |
| parent | ba8b4a4f824ea1fa1f5e31ab619599be80f14a34 (diff) | |
| download | rust-89a00cc8ae92f159325a7b5cb06a6d7802a4f3c5.tar.gz rust-89a00cc8ae92f159325a7b5cb06a6d7802a4f3c5.zip | |
Update compiler/rustc_trait_selection/src/traits/coherence.rs
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/coherence.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs index 6c3ce3ee371..94a4001bbb9 100644 --- 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; |