After #47529, attempts to compile code which builds an infinitely recursive impl Trait type will error with "overflow evaluating the requirement impl Quux". This isn't super user-friendly, and should be improved.