[rustc.git] / src / test / ui / associated-consts / issue-24949-assoc-const-static-recursion-trait-default.rs

// Check for recursion involving references to trait-associated const default.

trait Foo {
    const BAR: u32;
}

trait FooDefault {
    const BAR: u32 = DEFAULT_REF_BAR; //~ ERROR E0391
}

const DEFAULT_REF_BAR: u32 = <GlobalDefaultRef>::BAR;

struct GlobalDefaultRef;

impl FooDefault for GlobalDefaultRef {}

fn main() {}
Commit	Line	Data
f9f354fc XL	1	// Check for recursion involving references to trait-associated const default.
	2
	3	trait Foo {
	4	const BAR: u32;
	5	}
	6
	7	trait FooDefault {
5e7ed085	8	const BAR: u32 = DEFAULT_REF_BAR; //~ ERROR E0391
f9f354fc XL	9	}
f9f354fc XL	10
5e7ed085	11	const DEFAULT_REF_BAR: u32 = <GlobalDefaultRef>::BAR;
f9f354fc XL	12
	13	struct GlobalDefaultRef;
	14
	15	impl FooDefault for GlobalDefaultRef {}
	16
	17	fn main() {}