tests/ui/type-alias-impl-trait/match-unification.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

use std::fmt::Debug;

// check-pass

fn bar() -> impl Debug {}

fn baz(b: bool) -> Option<impl Debug> {
    match b {
        true => baz(false),
        false => Some(bar()),
    }
}

fn main() {}