[rustc.git] / src / test / ui / issues / issue-19479.rs

// check-pass
// pretty-expanded FIXME #23616

trait Base {
    fn dummy(&self) { }
}
trait AssocA {
    type X: Base;
    fn dummy(&self) { }
}
trait AssocB {
    type Y: Base;
    fn dummy(&self) { }
}
impl<T: AssocA> AssocB for T {
    type Y = <T as AssocA>::X;
}

fn main() {}
Commit	Line	Data
60c5eb7d	1	// check-pass
c34b1796 AL	2	// pretty-expanded FIXME #23616
c34b1796 AL	3
85aaf69f SL	4	trait Base {
	5	fn dummy(&self) { }
	6	}
1a4d82fc JJ	7	trait AssocA {
1a4d82fc JJ	8	type X: Base;
85aaf69f	9	fn dummy(&self) { }
223e47cc	10	}
1a4d82fc JJ	11	trait AssocB {
1a4d82fc JJ	12	type Y: Base;
85aaf69f	13	fn dummy(&self) { }
1a4d82fc JJ	14	}
	15	impl<T: AssocA> AssocB for T {
	16	type Y = <T as AssocA>::X;
223e47cc LB	17	}
	18
	19	fn main() {}