1
Fork 0

Remove allow(unused_variables) for rustc_transmute.

This was hiding some genuine sins, including unused arguments in
numerous functions/methods (incl. trait methods), and some unnecessary
computation.
This commit is contained in:
Nicholas Nethercote 2025-02-28 16:52:28 +11:00
parent dfb2222952
commit 785e21d382
10 changed files with 24 additions and 53 deletions

View file

@ -102,7 +102,6 @@ pub trait SolverDelegate: Deref<Target = Self::Infcx> + Sized {
fn is_transmutable(
&self,
param_env: <Self::Interner as Interner>::ParamEnv,
dst: <Self::Interner as Interner>::Ty,
src: <Self::Interner as Interner>::Ty,
assume: <Self::Interner as Interner>::Const,

View file

@ -1037,12 +1037,11 @@ where
pub(super) fn is_transmutable(
&mut self,
param_env: I::ParamEnv,
dst: I::Ty,
src: I::Ty,
assume: I::Const,
) -> Result<Certainty, NoSolution> {
self.delegate.is_transmutable(param_env, dst, src, assume)
self.delegate.is_transmutable(dst, src, assume)
}
}

View file

@ -617,7 +617,6 @@ where
)?;
let certainty = ecx.is_transmutable(
goal.param_env,
goal.predicate.trait_ref.args.type_at(0),
goal.predicate.trait_ref.args.type_at(1),
assume,