src/test/incremental/issue-54242.rs

   1 // revisions: rpass cfail
   2
   3 trait Tr
   4 where
   5     (Self::Arr,): Sized,
   6 {
   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];
  17     //[cfail]~^ ERROR cycle detected when evaluating type-level constant
  18 }
  19
  20 fn main() {}