diff options
| author | Michael Goulet <michael@errs.io> | 2025-04-29 03:05:26 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-04-29 03:07:24 +0000 |
| commit | 38c05a68ee94a01ac9ef91ab0b7d0d3fc6a33bda (patch) | |
| tree | e73f001933c7eabcfbd7b833afe77c6364ecb151 /compiler/rustc_trait_selection/src | |
| parent | f918b89f61d9aac3df4e57b05892f4614ddfc678 (diff) | |
| download | rust-38c05a68ee94a01ac9ef91ab0b7d0d3fc6a33bda.tar.gz rust-38c05a68ee94a01ac9ef91ab0b7d0d3fc6a33bda.zip | |
Adjust tests
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/select/mod.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/select/mod.rs b/compiler/rustc_trait_selection/src/traits/select/mod.rs index de310f9d371..1a5a1c214bd 100644 --- a/compiler/rustc_trait_selection/src/traits/select/mod.rs +++ b/compiler/rustc_trait_selection/src/traits/select/mod.rs @@ -1243,7 +1243,9 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> { self.infcx.tcx.trait_is_coinductive(data.def_id()) } ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(_)) => { - // TODO: GCE is going away + // FIXME(generic_const_exprs): GCE needs well-formedness predicates to be + // coinductive, but GCE is on the way out anyways, so this should eventually + // be replaced with `false`. self.infcx.tcx.features().generic_const_exprs() } _ => false, |