src/test/ui/impl-trait/divergence.rs


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

// check-pass

fn foo() -> impl MyTrait {
    panic!();
    MyStruct
}

struct MyStruct;
trait MyTrait {}

impl MyTrait for MyStruct {}

fn main() {}