From c576dc55b8b485a31deb3c7f58bdc643027d7c9a Mon Sep 17 00:00:00 2001 From: xonx <119700621+xonx4l@users.noreply.github.com> Date: Fri, 16 Jan 2026 11:41:15 +0530 Subject: [PATCH] delete middle check. Co-authored-by: lcnr --- .../rustc_trait_selection/src/error_reporting/infer/mod.rs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/compiler/rustc_trait_selection/src/error_reporting/infer/mod.rs b/compiler/rustc_trait_selection/src/error_reporting/infer/mod.rs index 86cec9f647b7..7a14901b32d9 100644 --- a/compiler/rustc_trait_selection/src/error_reporting/infer/mod.rs +++ b/compiler/rustc_trait_selection/src/error_reporting/infer/mod.rs @@ -278,13 +278,6 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> { let is_shadowed = self.infcx.probe(|_| { let impl_substs = self.infcx.fresh_args_for_item(DUMMY_SP, impl_def_id); - let impl_trait_ref = tcx.impl_trait_ref(impl_def_id).instantiate(tcx, impl_substs); - - let expected_trait_ref = alias.trait_ref(tcx); - - if !self.infcx.can_eq(param_env, expected_trait_ref, impl_trait_ref) { - return false; - } let leaf_def = match specialization_graph::assoc_def(tcx, impl_def_id, alias.def_id) {