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