|
//@ 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() {}
|