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:
parent
09bc67b915
commit
1061c8d5e5
@ -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(
|
||||
|
Loading…
Reference in New Issue
Block a user