mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Browse Source 
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.
This commit is contained in:
Matthias Krüger 2024-03-06 22:41:56 +01:00 committed by GitHub
commit 75ebe83eed
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
compiler/rustc_trait_selection/src/solve/trait_goals.rs
View File

@ -102,7 +102,6 @@ fn probe_and_match_goal_against_assumption(
if trait_clause.def_id() == goal.predicate.def_id() if trait_clause.def_id() == goal.predicate.def_id()
&& trait_clause.polarity() == goal.predicate.polarity && trait_clause.polarity() == goal.predicate.polarity
{ {
// FIXME: Constness
ecx.probe_misc_candidate("assumption").enter(|ecx| { ecx.probe_misc_candidate("assumption").enter(|ecx| {
let assumption_trait_pred = ecx.instantiate_binder_with_infer(trait_clause); let assumption_trait_pred = ecx.instantiate_binder_with_infer(trait_clause);
ecx.eq( ecx.eq(