From 1061c8d5e5cc71ff41880ab8683afd98be6092f1 Mon Sep 17 00:00:00 2001 From: Deadbeef Date: Wed, 6 Mar 2024 20:39:10 +0800 Subject: [PATCH] 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. --- compiler/rustc_trait_selection/src/solve/trait_goals.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/compiler/rustc_trait_selection/src/solve/trait_goals.rs b/compiler/rustc_trait_selection/src/solve/trait_goals.rs index 80198ba39f9..16febf05b60 100644 --- a/compiler/rustc_trait_selection/src/solve/trait_goals.rs +++ b/compiler/rustc_trait_selection/src/solve/trait_goals.rs @@ -102,7 +102,6 @@ fn probe_and_match_goal_against_assumption( 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(