about summary refs log tree commit diff
path: root/tests/ui/coercion/issue-88097.rs
blob: f636323d6236706e7187f1d78dd1a6232132c73c (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
// In #88097, the compiler attempted to coerce a closure type to itself via
// a function pointer, which caused an unnecessary error. Check that this
// behavior has been fixed.

//@ check-pass

fn peculiar() -> impl Fn(u8) -> u8 {
    return |x| x + 1
}

fn peculiar2() -> impl Fn(u8) -> u8 {
    return |x| x + 1;
}

fn peculiar3() -> impl Fn(u8) -> u8 {
    let f = |x| x + 1;
    return f
}

fn peculiar4() -> impl Fn(u8) -> u8 {
    let f = |x| x + 1;
    f
}

fn peculiar5() -> impl Fn(u8) -> u8 {
    let f = |x| x + 1;
    let g = |x| x + 2;
    return if true { f } else { g }
}

fn main() {}