3 // Cyclic assoc. const defaults don't error unless *used*
6 //~^ cycle detected when const-evaluating + checking `Tr::A`
11 // This impl is *allowed* unless its assoc. consts are used
15 // This triggers the cycle error
16 assert_eq!(<() as Tr>::A, 0);