tests/coverage/closure_unit_return.rs


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

#![feature(coverage_attribute)]
//@ edition: 2021

// Regression test for an inconsistency between functions that return the value
// of their trailing expression, and functions that implicitly return `()`.

fn explicit_unit() {
    let closure = || {
        ();
    };

    drop(closure);
    () // explicit return of trailing value
}

fn implicit_unit() {
    let closure = || {
        ();
    };

    drop(closure);
    // implicit return of `()`
}

#[coverage(off)]
fn main() {
    explicit_unit();
    implicit_unit();
}