[rustc.git] / src / test / ui / impl-trait / divergence.rs

// check-pass

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

struct MyStruct;
trait MyTrait {}

impl MyTrait for MyStruct {}

fn main() {}
Commit	Line	Data
5e7ed085 FG	1	// check-pass
	2
	3	fn foo() -> impl MyTrait {
	4	panic!();
	5	MyStruct
	6	}
	7
	8	struct MyStruct;
	9	trait MyTrait {}
	10
	11	impl MyTrait for MyStruct {}
	12
	13	fn main() {}