[rustc.git] / src / test / ui / associated-consts / defaults-cyclic-fail.rs

// build-fail
//~^ ERROR cycle detected when normalizing `<() as Tr>::A` [E0391]

// Cyclic assoc. const defaults don't error unless *used*
trait Tr {
    const A: u8 = Self::B;

    const B: u8 = Self::A;
}

// This impl is *allowed* unless its assoc. consts are used
impl Tr for () {}

fn main() {
    // This triggers the cycle error
    assert_eq!(<() as Tr>::A, 0);
}
Commit	Line	Data
74b04a01	1	// build-fail
ee023bcb	2	//~^ ERROR cycle detected when normalizing `<() as Tr>::A` [E0391]
74b04a01 XL	3
	4	// Cyclic assoc. const defaults don't error unless used
	5	trait Tr {
	6	const A: u8 = Self::B;
74b04a01 XL	7
	8	const B: u8 = Self::A;
	9	}
	10
	11	// This impl is allowed unless its assoc. consts are used
	12	impl Tr for () {}
	13
	14	fn main() {
	15	// This triggers the cycle error
	16	assert_eq!(<() as Tr>::A, 0);
	17	}