summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/issues/issue-83919.rs
blob: e76443a65dbf9ef2f82e3892796a256238d574fd (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
25
26
27
28
29
30
31
32
#![feature(type_alias_impl_trait)]

// edition:2021

use std::future::Future;

trait Foo {
    type T;
    type Fut2: Future<Output=Self::T>; // ICE got triggered with traits other than Future here
    type Fut: Future<Output=Self::Fut2>;
    fn get_fut(&self) -> Self::Fut;
}

struct Implementor;

impl Foo for Implementor {
    type T = u64;
    type Fut2 = impl Future<Output=u64>;
    type Fut = impl Future<Output=Self::Fut2>;

    fn get_fut(&self) -> Self::Fut {
    //~^ ERROR `{integer}` is not a future
        async move {
            42
            // 42 does not impl Future and rustc does actually point out the error,
            // but rustc used to panic.
            // Putting a valid Future here always worked fine.
        }
    }
}

fn main() {}