diff options
| author | Michael Goulet <michael@errs.io> | 2025-04-14 20:57:46 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-04-16 20:05:55 +0000 |
| commit | e1936d22ed6c686bc9f2c92634fba9246bd86b9d (patch) | |
| tree | 013c93a0aeaaaed330fee10b46094c2bf6b1e383 /compiler/rustc_next_trait_solver/src | |
| parent | 3863018d960ad8bf6dd631f31f9d487e4a9880f1 (diff) | |
| download | rust-e1936d22ed6c686bc9f2c92634fba9246bd86b9d.tar.gz rust-e1936d22ed6c686bc9f2c92634fba9246bd86b9d.zip | |
Remove FIXME that is no longer relevant
Diffstat (limited to 'compiler/rustc_next_trait_solver/src')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs b/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs index 46ec8897fa5..1526049719e 100644 --- a/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs +++ b/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs @@ -827,12 +827,6 @@ pub(in crate::solve) fn const_conditions_for_destruct<I: Interner>( /// additional step of eagerly folding the associated types in the where /// clauses of the impl. In this example, that means replacing /// `<Self as Foo>::Bar` with `Ty` in the first impl. -/// -// FIXME: This is only necessary as `<Self as Trait>::Assoc: ItemBound` -// bounds in impls are trivially proven using the item bound candidates. -// This is unsound in general and once that is fixed, we don't need to -// normalize eagerly here. See https://github.com/lcnr/solver-woes/issues/9 -// for more details. pub(in crate::solve) fn predicates_for_object_candidate<D, I>( ecx: &mut EvalCtxt<'_, D>, param_env: I::ParamEnv, |