diff options
| author | Michael Goulet <michael@errs.io> | 2024-11-23 04:46:53 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-11-23 04:51:31 +0000 |
| commit | d294e4746bb1dae054b8e3e195b96e644e271b04 (patch) | |
| tree | ebd701c894d14419273d57bfc3c973e6e61cfb10 /compiler/rustc_middle/src/ty | |
| parent | f5be3ca1e35bbd504b3dea531dd15377c535f287 (diff) | |
| download | rust-d294e4746bb1dae054b8e3e195b96e644e271b04.tar.gz rust-d294e4746bb1dae054b8e3e195b96e644e271b04.zip | |
Remove unnecessary bool from ExpectedFound
Diffstat (limited to 'compiler/rustc_middle/src/ty')
| -rw-r--r-- | compiler/rustc_middle/src/ty/relate.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/ty/relate.rs b/compiler/rustc_middle/src/ty/relate.rs index 504a3c8a6d8..b06687490d2 100644 --- a/compiler/rustc_middle/src/ty/relate.rs +++ b/compiler/rustc_middle/src/ty/relate.rs @@ -92,7 +92,7 @@ impl<'tcx> Relate<TyCtxt<'tcx>> for &'tcx ty::List<ty::PolyExistentialPredicate< b_v.sort_by(|a, b| a.skip_binder().stable_cmp(tcx, &b.skip_binder())); b_v.dedup(); if a_v.len() != b_v.len() { - return Err(TypeError::ExistentialMismatch(ExpectedFound::new(true, a, b))); + return Err(TypeError::ExistentialMismatch(ExpectedFound::new(a, b))); } let v = iter::zip(a_v, b_v).map(|(ep_a, ep_b)| { @@ -112,7 +112,7 @@ impl<'tcx> Relate<TyCtxt<'tcx>> for &'tcx ty::List<ty::PolyExistentialPredicate< ty::ExistentialPredicate::AutoTrait(a), ty::ExistentialPredicate::AutoTrait(b), ) if a == b => Ok(ep_a.rebind(ty::ExistentialPredicate::AutoTrait(a))), - _ => Err(TypeError::ExistentialMismatch(ExpectedFound::new(true, a, b))), + _ => Err(TypeError::ExistentialMismatch(ExpectedFound::new(a, b))), } }); tcx.mk_poly_existential_predicates_from_iter(v) |
