#![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);
}