Based on a quick ripgrep, everybody_loops seems to only be used for the -Z unpretty=everybody_loops CLI option. (#73566 removed rustdoc's use of everybody_loops.)
Does anyone use -Z unpretty=everybody_loops? If not, I think we should remove the pass.
cc #82617
cc @jyn514
Based on a quick ripgrep,
everybody_loopsseems to only be used for the-Z unpretty=everybody_loopsCLI option. (#73566 removed rustdoc's use ofeverybody_loops.)Does anyone use
-Z unpretty=everybody_loops? If not, I think we should remove the pass.cc #82617
cc @jyn514