GSB: Force PotentialArchetypes for associated types with no requirements
This doesn't actually matter, except to make requirement machine
minimization cross-checking work on highly invalid code with
duplicate associated type declarations in the same protocol.