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

#![feature(return_position_impl_trait_in_trait, 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() {}