src/test/ui/generic-associated-types/cross-crate-bounds.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

// regression test for #73816
// We handled bounds differently when `feature(generic_associated_types)` was enabled

// edition:2018
// aux-build:foo_defn.rs

extern crate foo_defn;

use foo_defn::Foo;
use std::{future::Future, pin::Pin};

pub struct FooImpl;

impl Foo for FooImpl {
    type Bar = ();
    //~^ ERROR the trait bound `(): AsRef<()>` is not satisfied
    fn foo(&self) -> Pin<Box<dyn Future<Output = Self::Bar> + '_>> {
        panic!()
    }
}

async fn foo() {
    bar(&FooImpl).await;
}

async fn bar<F: Foo>(foo: &F) {
    foo.foo().await.as_ref();
}

fn main() {
    // futures::executor::block_on(foo());
}