summaryrefslogtreecommitdiffstats
path: root/tests/ui/higher-rank-trait-bounds/issue-43623.rs
blob: cedcf7c361c3bbb6d32109c49be0aaa2c28adf72 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
// check-pass

pub trait Trait<'a> {
    type Assoc;
}

pub struct Type;

impl<'a> Trait<'a> for Type {
    type Assoc = ();
}

pub fn break_me<T, F>(f: F)
where
    T: for<'b> Trait<'b>,
    F: for<'b> FnMut(<T as Trait<'b>>::Assoc),
{
    break_me::<Type, fn(_)>;
}

fn main() {}