// 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;
+ //~^ cycle detected when const-evaluating + checking `Tr::A`
const B: u8 = Self::A;
}