tests/ui/associated-type-bounds/associated-item-through-where-clause.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// check-pass

trait Foo {
    type Item;
}

trait Bar
where
    Self: Foo,
{
}

#[allow(dead_code)]
fn foo<M>(_m: M)
where
    M: Bar,
    M::Item: Send,
{
}

fn main() {}