diff options
| author | Deadbeef <ent3rm4n@gmail.com> | 2024-03-06 20:39:10 +0800 |
|---|---|---|
| committer | Deadbeef <ent3rm4n@gmail.com> | 2024-03-06 20:39:10 +0800 |
| commit | 1061c8d5e5cc71ff41880ab8683afd98be6092f1 (patch) | |
| tree | d3a76b3258cfa0c46932d1949fed7a5aee26fc7f | |
| parent | 09bc67b9158392361780e779d32997f14cc75c39 (diff) | |
| download | rust-1061c8d5e5cc71ff41880ab8683afd98be6092f1.tar.gz rust-1061c8d5e5cc71ff41880ab8683afd98be6092f1.zip | |
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.
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/trait_goals.rs | 1 |
1 files changed, 0 insertions, 1 deletions
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 @@ 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( |