summaryrefslogtreecommitdiffstats
path: root/tests/ui/async-await/return-type-notation/supertrait-bound.rs
blob: a85596a9fee9b5eaeeaf5538550176af0afeaada (plain)
1
2
3
4
5
6
7
8
9
10
11
// check-pass

#![feature(return_type_notation)]
//~^ WARN the feature `return_type_notation` is incomplete and may not be safe to use

trait IntFactory {
    fn stream(&self) -> impl Iterator<Item = i32>;
}
trait SendIntFactory: IntFactory<stream(): Send> + Send {}

fn main() {}