summaryrefslogtreecommitdiffstats
path: root/tests/ui/impl-trait/impl_fn_associativity.rs
blob: 71a8f9c77960d1562f221d7c20d6e7bc5775d014 (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
// run-pass
#![feature(impl_trait_in_fn_trait_return)]
use std::fmt::Debug;

fn f_debug() -> impl Fn() -> impl Debug {
    || ()
}

fn ff_debug() -> impl Fn() -> impl Fn() -> impl Debug {
    || f_debug()
}

fn multi() -> impl Fn() -> (impl Debug + Send) {
    || ()
}

fn main() {
    // Check that `ff_debug` is `() -> (() -> Debug)` and not `(() -> ()) -> Debug`
    let debug = ff_debug()()();
    assert_eq!(format!("{:?}", debug), "()");

    let x = multi()();
    assert_eq!(format!("{:?}", x), "()");
    fn assert_send(_: &impl Send) {}
    assert_send(&x);
}