TODO(@lcnr): why fail #167

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Open

lcnr opened this issue Feb 27, 2025 · 0 comments

Contributor

lcnr commented Feb 27, 2025 •

edited

Loading

//@ check-pass
//@ revisions: current next
//@[next] compile-flags: -Znext-solver
//@ ignore-compare-mode-next-solver (explicit revisions)

trait Sup {
    type As;
}
trait Trait<'d>: Sup {}
fn foo3<T>()
where
    for<'i> T: Trait<'i, As: Trait<'i, As: Sup>>,
{
}

fn main() {}

This test fails with https://github.com/lcnr/rust/pull/new/no-region-unification. I have to figure out whether that's a fundamental issue or not.

# for free to join this conversation on GitHub. Already have an account? # to comment