[rustc.git] / src / test / ui / suggestions / issue-101465.rs

#![feature(trait_alias)]

struct B;
struct C;

trait Tr {}

impl Tr for B {}
impl Tr for C {}

trait Tr2<S> = Into<S>;

fn foo2<T: Tr2<()>>() {}

fn foo() -> impl Tr {
    let x = foo2::<_>();

    match true {
        true => B,
        false => C,
        //~^ `match` arms have incompatible types
    }
}

fn main() {}
Commit	Line	Data
f2b60f7d FG	1	#![feature(trait_alias)]
	2
	3	struct B;
	4	struct C;
	5
	6	trait Tr {}
	7
	8	impl Tr for B {}
	9	impl Tr for C {}
	10
	11	trait Tr2<S> = Into<S>;
	12
	13	fn foo2<T: Tr2<()>>() {}
	14
	15	fn foo() -> impl Tr {
	16	let x = foo2::<_>();
	17
	18	match true {
	19	true => B,
	20	false => C,
	21	//~^ `match` arms have incompatible types
	22	}
	23	}
	24
	25	fn main() {}