We should call eq instead of sup as we're relating Ty directly and no…

…t Binder<TraitRef>
rust-lang · Nov 21, 2023 · 823a7ca · 823a7ca
1 parent 9613bc3
commit 823a7ca
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/compiler/rustc_hir_analysis/src/astconv/mod.rs b/compiler/rustc_hir_analysis/src/astconv/mod.rs
@@ -1637,10 +1637,8 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
                                 let impl_ty = ocx.normalize(&cause, param_env, impl_ty);
 
                                 // Check that the self types can be related.
-                                // FIXME(inherent_associated_types): Should we use `eq` here? Method probing uses
-                                // `sup` for this situtation, too. What for? To constrain inference variables?
                                 if ocx
-                                    .sup(&ObligationCause::dummy(), param_env, impl_ty, self_ty)
+                                    .eq(&ObligationCause::dummy(), param_env, impl_ty, self_ty)
                                     .is_err()
                                 {
                                     return false;