summaryrefslogtreecommitdiffstats
path: root/tests/ui/impl-trait/issues/issue-87295.rs
blob: aeb8f83326e4dbf0859f42a582ce2c88698c8eb7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
trait Trait {
    type Output;
}
impl Trait for () {
    type Output = i32;
}

struct Struct<F>(F);
impl<F> Struct<F> {
    pub fn new(_: F) -> Self {
        todo!()
    }
}

fn main() {
    let _do_not_waste: Struct<impl Trait<Output = i32>> = Struct::new(());
    //~^ `impl Trait` only allowed in function and inherent method return types
}