summaryrefslogtreecommitdiffstats
path: root/tests/ui/unboxed-closures/issue-30906.rs
blob: e2d219e470384700bdf2e95eb2c3f6a681ee5626 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#![feature(fn_traits, unboxed_closures)]

fn test<F: for<'x> FnOnce<(&'x str,)>>(_: F) {}

struct Compose<F, G>(F, G);
impl<T, F, G> FnOnce<(T,)> for Compose<F, G>
where
    F: FnOnce<(T,)>,
    G: FnOnce<(F::Output,)>,
{
    type Output = G::Output;
    extern "rust-call" fn call_once(self, (x,): (T,)) -> G::Output {
        (self.1)((self.0)(x))
    }
}

fn bad<T>(f: fn(&'static str) -> T) {
    test(Compose(f, |_| {}));
    //~^ ERROR: implementation of `FnOnce` is not general enough
}

fn main() {}