Skip to content

salvo_core regression: RPITIT type_of cycle #185

@compiler-errors

Description

@compiler-errors
Member

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() {}

Activity

compiler-errors

compiler-errors commented on Apr 25, 2025

@compiler-errors
MemberAuthor

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!()
    }
}
changed the title [-]salvo_core regression[/-] [+]salvo_core regression: RPITIT `type_of` cycle[/+] on Apr 25, 2025
moved this from unknown to in progress in -Znext-solver=globallyon Apr 25, 2025
added
from-craterA regression found via a crater run, not part of our test suite
on Apr 25, 2025
added 3 commits that reference this issue on Apr 28, 2025
508c98f
1d63e53
0bd531a
added a commit that references this issue on Apr 29, 2025
lcnr

lcnr commented on Apr 29, 2025

@lcnr
Contributor
moved this from in progress to done in -Znext-solver=globallyon Apr 29, 2025
closed this as completedby moving to done in -Znext-solver=globallyon Apr 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

from-craterA regression found via a crater run, not part of our test suite

Type

No type

Projects

Status

done

Milestone

No milestone

Relationships

None yet

    Participants

    @compiler-errors@lcnr

    Issue actions

      salvo_core regression: RPITIT `type_of` cycle · Issue #185 · rust-lang/trait-system-refactor-initiative