1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#![feature(type_alias_impl_trait)]
//@ edition:2021
//@ compile-flags: --crate-type=lib
use std::future::Future;
trait Bar {
fn bar(&self);
}
type FooFuture<B> = impl Future<Output = ()>;
#[define_opaque(FooFuture)]
fn foo<B: Bar>(bar: B) -> FooFuture<B> {
async move { bar.bar() }
//~^ ERROR: the trait bound `B: Bar` is not satisfied
}
pub fn mainish(ctx: &mut std::task::Context) {
let boom: FooFuture<u32> = unsafe { core::mem::zeroed() };
Box::pin(boom).as_mut().poll(ctx);
}
|
