Skip to content

Remove everybody_loops? #82618

Description

@camelid

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

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-cleanupCategory: PRs that clean code up or issues documenting cleanup.C-discussionCategory: Discussion or questions that doesn't represent real issues.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions