bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Remove FIXME that is no longer relevant

Browse source
This commit is contained in:
Michael Goulet 2025-04-14 20:57:46 +00:00
parent 3863018d96
commit e1936d22ed
1 changed files with 0 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs
View file

@ -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 /// additional step of eagerly folding the associated types in the where
/// clauses of the impl. In this example, that means replacing /// clauses of the impl. In this example, that means replacing
/// `<Self as Foo>::Bar` with `Ty` in the first impl. /// `<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>( pub(in crate::solve) fn predicates_for_object_candidate<D, I>(
ecx: &mut EvalCtxt<'_, D>, ecx: &mut EvalCtxt<'_, D>,
param_env: I::ParamEnv, param_env: I::ParamEnv,