Rollup merge of #122082 - fee1-dead-contrib:rm-outdated-note, r=compiler-errors

matthiaskrgr · web-flow · commit 75ebe83eedbc · 2024-03-06T22:41:56.000+01:00
remove outdated fixme comment

The `TraitPredicate` no longer has constness as we have desugared it to work with the type system through const generics instead.
diff --git a/compiler/rustc_trait_selection/src/solve/trait_goals.rs b/compiler/rustc_trait_selection/src/solve/trait_goals.rs
@@ -102,7 +102,6 @@ impl<'tcx> assembly::GoalKind<'tcx> for TraitPredicate<'tcx> {
             if trait_clause.def_id() == goal.predicate.def_id()
                 && trait_clause.polarity() == goal.predicate.polarity
             {
-                // FIXME: Constness
                 ecx.probe_misc_candidate("assumption").enter(|ecx| {
                     let assumption_trait_pred = ecx.instantiate_binder_with_infer(trait_clause);
                     ecx.eq(

Original file line number	Diff line number	Diff line change
`@@ -102,7 +102,6 @@ impl<'tcx> assembly::GoalKind<'tcx> for TraitPredicate<'tcx> {`
`102`	`102`	`if trait_clause.def_id() == goal.predicate.def_id()`
`103`	`103`	`&& trait_clause.polarity() == goal.predicate.polarity`
`104`	`104`	`{`
`105`		`- // FIXME: Constness`
`106`	`105`	`ecx.probe_misc_candidate("assumption").enter(\|ecx\| {`
`107`	`106`	`let assumption_trait_pred = ecx.instantiate_binder_with_infer(trait_clause);`
`108`	`107`	`ecx.eq(`