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

// check-pass
#![allow(dead_code)]
trait T {
    type X;
    const X: Self::X;
}
fn foo<X: T>() {
    let _: X::X = X::X;
}

trait S {
    const X: Self::X;
    type X;
}
fn bar<X: S>() {
    let _: X::X = X::X;
}

fn main() {}
Commit	Line	Data
60c5eb7d	1	// check-pass
0bf4aa26	2	#![allow(dead_code)]
abe05a73 XL	3	trait T {
	4	type X;
	5	const X: Self::X;
ea8adc8c	6	}
abe05a73 XL	7	fn foo<X: T>() {
abe05a73 XL	8	let _: X::X = X::X;
223e47cc	9	}
abe05a73 XL	10
	11	trait S {
	12	const X: Self::X;
	13	type X;
	14	}
	15	fn bar<X: S>() {
	16	let _: X::X = X::X;
	17	}
	18
	19	fn main() {}