Overflow evaluation when using a wrapper function

[danielmasny]

I tried this code:

pub struct AdditiveShare<T>(T);

pub trait SharedValue {}

pub trait IntoIteratorB {
    fn into_iter_b(&self) {}
}

impl <'a, T> IntoIteratorB for &'a AdditiveShare<T>
    where
        &'a T: IntoIteratorB,
        T: SharedValue,
{}


fn addition<'a, T>(x: &'a AdditiveShare<T>)
    where
            &'a T: IntoIteratorB,
            T: SharedValue,
{
    addition_circuit(x);
}

fn addition_circuit<'a, T>(x: &'a AdditiveShare<T>)
    where
            &'a T: IntoIteratorB,
            T: SharedValue,
{
    x.into_iter_b();
}

impl SharedValue for u32{}

impl<'a> IntoIteratorB for &'a u32{
    fn into_iter_b(&self){}
}

fn main ()
{
    let u=AdditiveShare(0u32);
    (&u).into_iter_b();
    println!("Hello, world!");
}

I expected to see this happen: that it would compile

Instead, this happened: error[E0275]: overflow evaluating the requirement &AdditiveShare<_>: IntoIteratorB

Interestingly, commenting out the wrapper function does not result in a compilation error:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=887c6cfabce6e3eb64b561d278f28807

however, this does:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=d3d7e05d015b3eb397eb8fe5b7433f6a

It might be related to #39959, however this code works when commenting out the wrapper function.

Meta

rustc --version --verbose:

rustc 1.75.0-nightly (fdaaaf9f9 2023-11-08)
binary: rustc
commit-hash: fdaaaf9f923281ab98b865259aa40fbf93d72c7a
commit-date: 2023-11-08
host: aarch64-apple-darwin
release: 1.75.0-nightly
LLVM version: 17.0.4

Backtrace

<backtrace>

[compiler-errors]

(For the record: this works with the new trait solver, -Ztrait-solver=next, because of the non-fatal overflow. I don't recommend users try building their code with that, yet, since it's still pretty broken.)