user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

delete middle check.

Browse source 
Co-authored-by: lcnr <rust@lcnr.de>
This commit is contained in:
xonx 2026-01-16 11:41:15 +05:30
parent a873a3fe77
commit c576dc55b8
1 changed files with 0 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_trait_selection/src/error_reporting/infer/mod.rs
View file

@ -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)
{