salvo_core regression: RPITIT `type_of` cycle

[compiler-errors]

https://crater-reports.s3.amazonaws.com/pr-133502-4/try%230c7fed2b7584d310ca8221267fa1b3bec4df427f/reg/salvo_core-0.78.0/log.txt

use std::future::Future;

trait Handler {}

struct W<T>(T);

trait SendTarget {
    fn call(self) -> impl Future<Output = ()> + Send;
}

impl<T> SendTarget for W<T>
where
    T: Handler + Send,
{
    async fn call(self) {
        todo!()
    }
}

impl<T> SendTarget for T
where
    T: Handler + Send,
{
    async fn call(self) {
        W(self).call().await
    }
}

fn main() {}

[compiler-errors]

Smaller:

trait Foo {
    fn call(self) -> impl Send;
}

trait Nested {}
impl<T> Foo for T
where
    T: Nested,
{
    fn call(self) -> impl Sized {
        W.call()
    }
}

struct NotSatisfied;
impl Foo for NotSatisfied {
    fn call(self) -> impl Sized {
        todo!()
    }
}

[lcnr]

fixed by rust-lang/rust#140276