src/test/incremental/issue-54242.rs

   1 // revisions: rpass cfail
   2
   3 trait Tr {
   4     type Arr;
   5
   6     const C: usize = 0;
   7 }
   8
   9 impl Tr for str {
  10     #[cfg(rpass)]
  11     type Arr = [u8; 8];
  12     #[cfg(cfail)]
  13     type Arr = [u8; Self::C];
  14     //[cfail]~^ ERROR cycle detected when const-evaluating
  15 }
  16
  17 fn main() {}