[rustc.git] / src / test / incremental / issue-54242.rs

// revisions: rpass cfail

trait Tr
where
    (Self::Arr,): Sized,
{
    type Arr;

    const C: usize = 0;
}

impl Tr for str {
    #[cfg(rpass)]
    type Arr = [u8; 8];
    #[cfg(cfail)]
    type Arr = [u8; Self::C];
    //[cfail]~^ ERROR cycle detected when evaluating type-level constant
}

fn main() {}
Commit	Line	Data
9fa01778 XL	1	// revisions: rpass cfail
9fa01778 XL	2
29967ef6 XL	3	trait Tr
	4	where
	5	(Self::Arr,): Sized,
	6	{
9fa01778 XL	7	type Arr;
	8
	9	const C: usize = 0;
	10	}
	11
	12	impl Tr for str {
	13	#[cfg(rpass)]
	14	type Arr = [u8; 8];
	15	#[cfg(cfail)]
	16	type Arr = [u8; Self::C];
923072b8	17	//[cfail]~^ ERROR cycle detected when evaluating type-level constant
9fa01778 XL	18	}
	19
	20	fn main() {}