tests/ui/late-bound-lifetimes/predicate-is-global.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

// check-pass

trait Foo {
    type Assoc;

    fn do_it(_: &Self::Assoc)
    where
        for<'a> Self: Baz<'a>;
}

trait Baz<'a>: Foo {}

impl Foo for () {
    type Assoc = Inherent;

    // Ensure that the `for<'a> Self: Baz<'a>` predicate, which has
    // a supertrait `for<'a> Self: Foo`, does not cause us to fail
    // to normalize `Self::Assoc`.
    fn do_it(x: &Self::Assoc)
    where
        for<'a> Self: Baz<'a>,
    {
        x.inherent();
    }
}

struct Inherent;
impl Inherent {
    fn inherent(&self) {}
}

// This trivial bound doesn't hold, but the unused lifetime tripped up that check after #117589, and
// showed up in its crater results (in `soa-derive 0.13.0`).
fn do_it()
where
    for<'a> Inherent: Clone,
{
}

fn main() {}