summaryrefslogtreecommitdiffstats
path: root/tests/ui/inference/cannot-infer-closure-circular.rs
blob: affb481496d02a8af7fc9dac41d91d9d8a9b1de5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
fn main() {
    // Below we call the closure with its own return as the argument, unifying
    // its inferred input and return types. We want to make sure that the generated
    // error handles this gracefully, and in particular doesn't generate an extra
    // note about the `?` operator in the closure body, which isn't relevant to
    // the inference.
    let x = |r| { //~ ERROR type annotations needed for `Result<(), E>`
        let v = r?;
        Ok(v)
    };

    let _ = x(x(Ok(())));
}