summaryrefslogtreecommitdiffstats
path: root/src/test/ui/nll/closure-requirements/issue-58127-mutliple-requirements.rs
blob: a83ebc21f5f8658644f55ea7072caf2690ee7c3a (plain)
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
// check-pass

// Test that we propagate region relations from closures precisely when there is
// more than one non-local lower bound.

// In this case the closure has signature
// |x: &'4 mut (&'5 (&'1 str, &'2 str), &'3 str)| -> ..
// We end up with a `'3: '5` constraint that we can propagate as
// `'3: '1`, `'3: '2`, but previously we approximated it as `'3: 'static`.

// As an optimization, we primarily propagate bounds for the "representative"
// of each SCC. As such we have these two similar cases where hopefully one
// of them will test the case we want (case2, when this test was added).
mod case1 {
    fn f(s: &str) {
        g(s, |x| h(x));
    }

    fn g<T, F>(_: T, _: F)
    where F: Fn(&mut (&(T, T), T)) {}

    fn h<T>(_: &mut (&(T, T), T)) {}
}

mod case2 {
    fn f(s: &str) {
        g(s, |x| h(x));
    }

    fn g<T, F>(_: T, _: F)
    where F: Fn(&mut (T, &(T, T))) {}

    fn h<T>(_: &mut (T, &(T, T))) {}
}

fn main() {}