[rustc.git] / src / test / run-pass / issues / issue-28828.rs

// run-pass
pub trait Foo {
    type Out;
}

impl Foo for () {
    type Out = bool;
}

fn main() {
    type Bool = <() as Foo>::Out;

    let x: Bool = true;
    assert!(x);

    let y: Option<Bool> = None;
    assert_eq!(y, None);
}
Commit	Line	Data
b7449926	1	// run-pass
8bb4bdeb XL	2	pub trait Foo {
	3	type Out;
	4	}
	5
	6	impl Foo for () {
	7	type Out = bool;
a7813a04 XL	8	}
	9
	10	fn main() {
8bb4bdeb XL	11	type Bool = <() as Foo>::Out;
	12
	13	let x: Bool = true;
	14	assert!(x);
	15
	16	let y: Option<Bool> = None;
	17	assert_eq!(y, None);
54a0048b	18	}