File: issue-59494.rs

package info (click to toggle)
rustc 1.85.0%2Bdfsg3-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental, sid, trixie
  • size: 893,396 kB
  • sloc: xml: 158,127; python: 35,830; javascript: 19,497; cpp: 19,002; sh: 17,245; ansic: 13,127; asm: 4,376; makefile: 1,051; perl: 29; lisp: 29; ruby: 19; sql: 11
file content (23 lines) | stat: -rw-r--r-- 514 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
fn t7p<A, B, C>(f: impl Fn(B) -> C, g: impl Fn(A) -> B) -> impl Fn(A) -> C {
    move |a: A| -> C { f(g(a)) }
}

fn t8n<A, B, C>(f: impl Fn(A) -> B, g: impl Fn(A) -> C) -> impl Fn(A) -> (B, C)
where
    A: Copy,
{
    move |a: A| -> (B, C) {
        let b = a;
        let fa = f(a);
        let ga = g(b);
        (fa, ga)
    }
}

fn main() {
    let f = |(_, _)| {};
    let g = |(a, _)| a;
    let t7 = |env| |a| |b| t7p(f, g)(((env, a), b));
    //~^ ERROR mismatched types
    let t8 = t8n(t7, t7p(f, g));
}