blob: 0b2255266753d01f004cc93ddc60dec188369374 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
// build-pass (FIXME(62277): could be check-pass?)
// edition:2018
trait MyClosure {
type Args;
}
impl<R> MyClosure for dyn FnMut() -> R
where R: 'static {
type Args = ();
}
struct MyStream<C: ?Sized + MyClosure> {
x: C::Args,
}
async fn get_future<C: ?Sized + MyClosure>(_stream: MyStream<C>) {}
async fn f() {
let messages: MyStream<dyn FnMut()> = unimplemented!();
get_future(messages).await;
}
fn main() {}
|