tests/ui/associated-type-bounds/implied-from-self-where-clause.rs


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

// Make sure that, like associated type where clauses on traits, we gather item
// bounds for RPITITs from RTN where clauses.

//@ check-pass

#![feature(return_type_notation)]

trait Foo
where
    Self::method(..): Send,
{
    fn method() -> impl Sized;
}

fn is_send(_: impl Send) {}

fn test<T: Foo>() {
    is_send(T::method());
}

fn main() {}