Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[unstable option] match_arm_indent #6533

Open
1 of 4 tasks
ytmimi opened this issue Apr 2, 2025 · 1 comment
Open
1 of 4 tasks

[unstable option] match_arm_indent #6533

ytmimi opened this issue Apr 2, 2025 · 1 comment
Labels
unstable option tracking issue of an unstable option

Comments

@ytmimi
Copy link
Contributor

ytmimi commented Apr 2, 2025

Tracking issue for unstable option: match_arm_indent.
This option was added by #6525 and requested in #2937

Option documentation.

See Processes.md, "Stabilising an Option":

  • Is the default value correct?
  • The design and implementation of the option are sound and clean.
  • The option is well tested, both in unit tests and, optimally, in real usage.
  • There is no open bug about the option that prevents its use.

Also see:

@ytmimi ytmimi added the unstable option tracking issue of an unstable option label Apr 2, 2025
@KAAtheWiseGit
Copy link
Contributor

I think that "Is the default value correct?" can be safely checked off, as by default it preserves the current formatting choices.

Design issues:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
unstable option tracking issue of an unstable option
Projects
None yet
Development

No branches or pull requests

2 participants