//@ check-pass
trait Foo {
type Item;
}
trait Bar
where
Self: Foo,
{
#[allow(dead_code)]
fn foo<M>(_m: M)
M: Bar,
M::Item: Send,
fn main() {}